YES 5.3660000000000005 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:



↳ HASKELL
  ↳ CR

mainModule Main
  (((<) :: Ord a => a  ->  a  ->  Bool) :: Ord a => a  ->  a  ->  Bool)

module Main where
  import qualified Prelude


Case Reductions:
The following Case expression
case compare x y of
 EQ → o
 LT → LT
 GT → GT

is transformed to
primCompAux0 o EQ = o
primCompAux0 o LT = LT
primCompAux0 o GT = GT



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR

mainModule Main
  (((<) :: Ord a => a  ->  a  ->  Bool) :: Ord a => a  ->  a  ->  Bool)

module Main where
  import qualified Prelude


If Reductions:
The following If expression
if primGEqNatS x y then Succ (primDivNatS (primMinusNatS x y) (Succ y)) else Zero

is transformed to
primDivNatS0 x y True = Succ (primDivNatS (primMinusNatS x y) (Succ y))
primDivNatS0 x y False = Zero

The following If expression
if primGEqNatS x y then primModNatS (primMinusNatS x y) (Succ y) else Succ x

is transformed to
primModNatS0 x y True = primModNatS (primMinusNatS x y) (Succ y)
primModNatS0 x y False = Succ x



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR

mainModule Main
  (((<) :: Ord a => a  ->  a  ->  Bool) :: Ord a => a  ->  a  ->  Bool)

module Main where
  import qualified Prelude


Replaced joker patterns by fresh variables and removed binding patterns.

↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR

mainModule Main
  (((<) :: Ord a => a  ->  a  ->  Bool) :: Ord a => a  ->  a  ->  Bool)

module Main where
  import qualified Prelude


Cond Reductions:
The following Function with conditions
compare x y
 | x == y
 = EQ
 | x <= y
 = LT
 | otherwise
 = GT

is transformed to
compare x y = compare3 x y

compare1 x y True = LT
compare1 x y False = compare0 x y otherwise

compare0 x y True = GT

compare2 x y True = EQ
compare2 x y False = compare1 x y (x <= y)

compare3 x y = compare2 x y (x == y)

The following Function with conditions
gcd' x 0 = x
gcd' x y = gcd' y (x `rem` y)

is transformed to
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y

gcd'0 x y = gcd' y (x `rem` y)

gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu

gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

The following Function with conditions
gcd 0 0 = error []
gcd x y = 
gcd' (abs x) (abs y)
where 
gcd' x 0 = x
gcd' x y = gcd' y (x `rem` y)

is transformed to
gcd vux vuy = gcd3 vux vuy
gcd x y = gcd0 x y

gcd0 x y = 
gcd' (abs x) (abs y)
where 
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y
gcd'0 x y = gcd' y (x `rem` y)
gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu
gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

gcd1 True vux vuy = error []
gcd1 vuz vvu vvv = gcd0 vvu vvv

gcd2 True vux vuy = gcd1 (vuy == 0) vux vuy
gcd2 vvw vvx vvy = gcd0 vvx vvy

gcd3 vux vuy = gcd2 (vux == 0) vux vuy
gcd3 vvz vwu = gcd0 vvz vwu

The following Function with conditions
absReal x
 | x >= 0
 = x
 | otherwise
 = `negate` x

is transformed to
absReal x = absReal2 x

absReal1 x True = x
absReal1 x False = absReal0 x otherwise

absReal0 x True = `negate` x

absReal2 x = absReal1 x (x >= 0)

The following Function with conditions
undefined 
 | False
 = undefined

is transformed to
undefined  = undefined1

undefined0 True = undefined

undefined1  = undefined0 False

The following Function with conditions
reduce x y
 | y == 0
 = error []
 | otherwise
 = x `quot` d :% (y `quot` d)
where 
d  = gcd x y

is transformed to
reduce x y = reduce2 x y

reduce2 x y = 
reduce1 x y (y == 0)
where 
d  = gcd x y
reduce0 x y True = x `quot` d :% (y `quot` d)
reduce1 x y True = error []
reduce1 x y False = reduce0 x y otherwise



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed

mainModule Main
  (((<) :: Ord a => a  ->  a  ->  Bool) :: Ord a => a  ->  a  ->  Bool)

module Main where
  import qualified Prelude


Let/Where Reductions:
The bindings of the following Let/Where expression
reduce1 x y (y == 0)
where 
d  = gcd x y
reduce0 x y True = x `quot` d :% (y `quot` d)
reduce1 x y True = error []
reduce1 x y False = reduce0 x y otherwise

are unpacked to the following functions on top level
reduce2Reduce1 vwv vww x y True = error []
reduce2Reduce1 vwv vww x y False = reduce2Reduce0 vwv vww x y otherwise

reduce2D vwv vww = gcd vwv vww

reduce2Reduce0 vwv vww x y True = x `quot` reduce2D vwv vww :% (y `quot` reduce2D vwv vww)

The bindings of the following Let/Where expression
gcd' (abs x) (abs y)
where 
gcd' x zx = gcd'2 x zx
gcd' x y = gcd'0 x y
gcd'0 x y = gcd' y (x `rem` y)
gcd'1 True x zx = x
gcd'1 zy zz vuu = gcd'0 zz vuu
gcd'2 x zx = gcd'1 (zx == 0) x zx
gcd'2 vuv vuw = gcd'0 vuv vuw

are unpacked to the following functions on top level
gcd0Gcd'2 x zx = gcd0Gcd'1 (zx == 0) x zx
gcd0Gcd'2 vuv vuw = gcd0Gcd'0 vuv vuw

gcd0Gcd'1 True x zx = x
gcd0Gcd'1 zy zz vuu = gcd0Gcd'0 zz vuu

gcd0Gcd'0 x y = gcd0Gcd' y (x `rem` y)

gcd0Gcd' x zx = gcd0Gcd'2 x zx
gcd0Gcd' x y = gcd0Gcd'0 x y



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed

mainModule Main
  (((<) :: Ord a => a  ->  a  ->  Bool) :: Ord a => a  ->  a  ->  Bool)

module Main where
  import qualified Prelude


Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow

mainModule Main
  ((<) :: Ord a => a  ->  a  ->  Bool)

module Main where
  import qualified Prelude


Haskell To QDPs


↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primEqNat(Succ(vwx3000), Succ(vwx4000)) → new_primEqNat(vwx3000, vwx4000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(vwx16200), Succ(vwx40000)) → new_primPlusNat(vwx16200, vwx40000)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primMulNat(Succ(vwx3000), Succ(vwx4000)) → new_primMulNat(vwx3000, Succ(vwx4000))

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), app(ty_[], eg), bb, cg) → new_esEs3(vwx300, vwx400, eg)
new_esEs1(Just(vwx300), Just(vwx400), app(app(app(ty_@3, he), hf), hg)) → new_esEs(vwx300, vwx400, he, hf, hg)
new_esEs3(:(vwx300, vwx301), :(vwx400, vwx401), app(app(ty_@2, bdf), bdg)) → new_esEs0(vwx300, vwx400, bdf, bdg)
new_esEs3(:(vwx300, vwx301), :(vwx400, vwx401), app(ty_Maybe, bdh)) → new_esEs1(vwx300, vwx400, bdh)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, bb, app(ty_Maybe, bh)) → new_esEs1(vwx302, vwx402, bh)
new_esEs3(:(vwx300, vwx301), :(vwx400, vwx401), app(ty_[], bec)) → new_esEs3(vwx300, vwx400, bec)
new_esEs2(Left(vwx300), Left(vwx400), app(app(ty_@2, bbb), bbc), bba) → new_esEs0(vwx300, vwx400, bbb, bbc)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), app(app(ty_Either, hb), hc), gf) → new_esEs2(vwx300, vwx400, hb, hc)
new_esEs1(Just(vwx300), Just(vwx400), app(ty_[], bae)) → new_esEs3(vwx300, vwx400, bae)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, bb, app(app(ty_@2, bf), bg)) → new_esEs0(vwx302, vwx402, bf, bg)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), app(app(app(ty_@3, dg), dh), ea), bb, cg) → new_esEs(vwx300, vwx400, dg, dh, ea)
new_esEs2(Left(vwx300), Left(vwx400), app(app(ty_Either, bbe), bbf), bba) → new_esEs2(vwx300, vwx400, bbe, bbf)
new_esEs2(Left(vwx300), Left(vwx400), app(app(app(ty_@3, baf), bag), bah), bba) → new_esEs(vwx300, vwx400, baf, bag, bah)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), eh, app(ty_[], gb)) → new_esEs3(vwx301, vwx401, gb)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), app(ty_[], hd), gf) → new_esEs3(vwx300, vwx400, hd)
new_esEs2(Right(vwx300), Right(vwx400), bbh, app(app(app(ty_@3, bca), bcb), bcc)) → new_esEs(vwx300, vwx400, bca, bcb, bcc)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, app(app(ty_Either, dd), de), cg) → new_esEs2(vwx301, vwx401, dd, de)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), eh, app(app(app(ty_@3, fa), fb), fc)) → new_esEs(vwx301, vwx401, fa, fb, fc)
new_esEs2(Right(vwx300), Right(vwx400), bbh, app(app(ty_@2, bcd), bce)) → new_esEs0(vwx300, vwx400, bcd, bce)
new_esEs2(Left(vwx300), Left(vwx400), app(ty_Maybe, bbd), bba) → new_esEs1(vwx300, vwx400, bbd)
new_esEs1(Just(vwx300), Just(vwx400), app(app(ty_@2, hh), baa)) → new_esEs0(vwx300, vwx400, hh, baa)
new_esEs3(:(vwx300, vwx301), :(vwx400, vwx401), app(app(app(ty_@3, bdc), bdd), bde)) → new_esEs(vwx300, vwx400, bdc, bdd, bde)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), app(ty_Maybe, ed), bb, cg) → new_esEs1(vwx300, vwx400, ed)
new_esEs3(:(vwx300, vwx301), :(vwx400, vwx401), bdb) → new_esEs3(vwx301, vwx401, bdb)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), app(app(app(ty_@3, gc), gd), ge), gf) → new_esEs(vwx300, vwx400, gc, gd, ge)
new_esEs1(Just(vwx300), Just(vwx400), app(app(ty_Either, bac), bad)) → new_esEs2(vwx300, vwx400, bac, bad)
new_esEs2(Left(vwx300), Left(vwx400), app(ty_[], bbg), bba) → new_esEs3(vwx300, vwx400, bbg)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, app(ty_Maybe, dc), cg) → new_esEs1(vwx301, vwx401, dc)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), app(app(ty_@2, eb), ec), bb, cg) → new_esEs0(vwx300, vwx400, eb, ec)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, bb, app(app(ty_Either, ca), cb)) → new_esEs2(vwx302, vwx402, ca, cb)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), eh, app(app(ty_Either, fh), ga)) → new_esEs2(vwx301, vwx401, fh, ga)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, app(app(ty_@2, da), db), cg) → new_esEs0(vwx301, vwx401, da, db)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, app(app(app(ty_@3, cd), ce), cf), cg) → new_esEs(vwx301, vwx401, cd, ce, cf)
new_esEs2(Right(vwx300), Right(vwx400), bbh, app(app(ty_Either, bcg), bch)) → new_esEs2(vwx300, vwx400, bcg, bch)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), app(app(ty_Either, ee), ef), bb, cg) → new_esEs2(vwx300, vwx400, ee, ef)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, bb, app(ty_[], cc)) → new_esEs3(vwx302, vwx402, cc)
new_esEs1(Just(vwx300), Just(vwx400), app(ty_Maybe, bab)) → new_esEs1(vwx300, vwx400, bab)
new_esEs2(Right(vwx300), Right(vwx400), bbh, app(ty_Maybe, bcf)) → new_esEs1(vwx300, vwx400, bcf)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), app(app(ty_@2, gg), gh), gf) → new_esEs0(vwx300, vwx400, gg, gh)
new_esEs2(Right(vwx300), Right(vwx400), bbh, app(ty_[], bda)) → new_esEs3(vwx300, vwx400, bda)
new_esEs3(:(vwx300, vwx301), :(vwx400, vwx401), app(app(ty_Either, bea), beb)) → new_esEs2(vwx300, vwx400, bea, beb)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), eh, app(ty_Maybe, fg)) → new_esEs1(vwx301, vwx401, fg)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, app(ty_[], df), cg) → new_esEs3(vwx301, vwx401, df)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), app(ty_Maybe, ha), gf) → new_esEs1(vwx300, vwx400, ha)
new_esEs0(@2(vwx300, vwx301), @2(vwx400, vwx401), eh, app(app(ty_@2, fd), ff)) → new_esEs0(vwx301, vwx401, fd, ff)
new_esEs(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), ba, bb, app(app(app(ty_@3, bc), bd), be)) → new_esEs(vwx302, vwx402, bc, bd, be)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof
                              ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primCmpNat(Succ(vwx300), Succ(vwx400)) → new_primCmpNat(vwx300, vwx400)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: 



↳ HASKELL
  ↳ CR
    ↳ HASKELL
      ↳ IFR
        ↳ HASKELL
          ↳ BR
            ↳ HASKELL
              ↳ COR
                ↳ HASKELL
                  ↳ LetRed
                    ↳ HASKELL
                      ↳ NumRed
                        ↳ HASKELL
                          ↳ Narrow
                            ↳ AND
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                              ↳ QDP
                                ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_compare23(vwx82, vwx83, vwx84, vwx85, False, app(ty_Maybe, cce), ccf) → new_lt(vwx82, vwx84, cce)
new_compare2(Right(vwx130), Right(vwx140), False, app(app(ty_Either, he), app(app(app(ty_@3, hg), hh), baa))) → new_ltEs0(vwx130, vwx140, hg, hh, baa)
new_lt0(@3(vwx30, vwx31, vwx32), @3(vwx40, vwx41, vwx42), bef, beg, beh) → new_compare20(vwx30, vwx31, vwx32, vwx40, vwx41, vwx42, new_asAs(new_esEs7(vwx30, vwx40, bef), new_asAs(new_esEs6(vwx31, vwx41, beg), new_esEs5(vwx32, vwx42, beh))), bef, beg, beh)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), app(ty_Maybe, dg)), dh)) → new_lt(vwx131, vwx141, dg)
new_ltEs(Just(vwx130), Just(vwx140), app(ty_[], bh)) → new_ltEs2(vwx130, vwx140, bh)
new_compare22(vwx42, vwx43, False, cfa, app(app(ty_@2, cga), cgb)) → new_ltEs3(vwx42, vwx43, cga, cgb)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, app(app(ty_@2, cde), cdf), ccf) → new_lt3(vwx82, vwx84, cde, cdf)
new_ltEs1(Left(vwx130), Left(vwx140), app(app(ty_Either, gh), ha), gd) → new_ltEs1(vwx130, vwx140, gh, ha)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), cd), app(ty_Maybe, ce))) → new_ltEs(vwx132, vwx142, ce)
new_compare0(:(vwx30, vwx31), :(vwx40, vwx41), bdd) → new_compare0(vwx31, vwx41, bdd)
new_lt2(:(vwx30, vwx31), :(vwx40, vwx41), bdd) → new_primCompAux(vwx30, vwx40, new_compare1(vwx31, vwx41, bdd), bdd)
new_compare4(Left(vwx30), Left(vwx40), cag, cah) → new_compare21(vwx30, vwx40, new_esEs8(vwx30, vwx40, cag), cag, cah)
new_compare21(vwx35, vwx36, False, app(app(app(ty_@3, cbc), cbd), cbe), cbb) → new_ltEs0(vwx35, vwx36, cbc, cbd, cbe)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), bah, app(ty_[], bbg)) → new_ltEs2(vwx131, vwx141, bbg)
new_compare2(Left(vwx130), Left(vwx140), False, app(app(ty_Either, app(app(app(ty_@3, ge), gf), gg)), gd)) → new_ltEs0(vwx130, vwx140, ge, gf, gg)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, bah), app(ty_Maybe, bba))) → new_ltEs(vwx131, vwx141, bba)
new_ltEs1(Left(vwx130), Left(vwx140), app(app(app(ty_@3, ge), gf), gg), gd) → new_ltEs0(vwx130, vwx140, ge, gf, gg)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, cdg, app(ty_Maybe, cdh)) → new_ltEs(vwx83, vwx85, cdh)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, app(app(app(ty_@3, bfd), bfe), bff), bfb, bfc) → new_lt0(vwx69, vwx72, bfd, bfe, bff)
new_compare2(Right(vwx130), Right(vwx140), False, app(app(ty_Either, he), app(app(ty_@2, bae), baf))) → new_ltEs3(vwx130, vwx140, bae, baf)
new_lt(Just(vwx30), Just(vwx40), ba) → new_compare2(vwx30, vwx40, new_esEs4(vwx30, vwx40, ba), ba)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), app(app(ty_Either, ff), fg), cd, dh) → new_lt1(vwx130, vwx140, ff, fg)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, bfb, app(app(app(ty_@3, bgf), bgg), bgh)) → new_ltEs0(vwx71, vwx74, bgf, bgg, bgh)
new_compare2(Right(vwx130), Right(vwx140), False, app(app(ty_Either, he), app(app(ty_Either, bab), bac))) → new_ltEs1(vwx130, vwx140, bab, bac)
new_compare2(Left(vwx130), Left(vwx140), False, app(app(ty_Either, app(app(ty_@2, hc), hd)), gd)) → new_ltEs3(vwx130, vwx140, hc, hd)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, bfb, app(app(ty_@2, bhd), bhe)) → new_ltEs3(vwx71, vwx74, bhd, bhe)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, app(ty_[], ef), dh) → new_lt2(vwx131, vwx141, ef)
new_lt1(Left(vwx30), Left(vwx40), cag, cah) → new_compare21(vwx30, vwx40, new_esEs8(vwx30, vwx40, cag), cag, cah)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, app(ty_Maybe, bfa), bfb, bfc) → new_lt(vwx69, vwx72, bfa)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, cd, app(app(ty_@2, de), df)) → new_ltEs3(vwx132, vwx142, de, df)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), app(ty_[], fh), cd, dh) → new_lt2(vwx130, vwx140, fh)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, app(ty_Maybe, bhf), bfc) → new_lt(vwx70, vwx73, bhf)
new_compare3(@3(vwx30, vwx31, vwx32), @3(vwx40, vwx41, vwx42), bef, beg, beh) → new_compare20(vwx30, vwx31, vwx32, vwx40, vwx41, vwx42, new_asAs(new_esEs7(vwx30, vwx40, bef), new_asAs(new_esEs6(vwx31, vwx41, beg), new_esEs5(vwx32, vwx42, beh))), bef, beg, beh)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, app(app(ty_@2, bdb), bdc)), bcc)) → new_lt3(vwx130, vwx140, bdb, bdc)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), bah, app(app(app(ty_@3, bbb), bbc), bbd)) → new_ltEs0(vwx131, vwx141, bbb, bbc, bbd)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, bah), app(ty_[], bbg))) → new_ltEs2(vwx131, vwx141, bbg)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), bah, app(app(ty_@2, bbh), bca)) → new_ltEs3(vwx131, vwx141, bbh, bca)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), bah, app(app(ty_Either, bbe), bbf)) → new_ltEs1(vwx131, vwx141, bbe, bbf)
new_ltEs1(Left(vwx130), Left(vwx140), app(ty_Maybe, gc), gd) → new_ltEs(vwx130, vwx140, gc)
new_ltEs(Just(vwx130), Just(vwx140), app(app(app(ty_@3, bc), bd), be)) → new_ltEs0(vwx130, vwx140, bc, bd, be)
new_compare2(Left(vwx130), Left(vwx140), False, app(app(ty_Either, app(app(ty_Either, gh), ha)), gd)) → new_ltEs1(vwx130, vwx140, gh, ha)
new_compare2(Right(vwx130), Right(vwx140), False, app(app(ty_Either, he), app(ty_[], bad))) → new_ltEs2(vwx130, vwx140, bad)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, cd, app(app(app(ty_@3, cf), cg), da)) → new_ltEs0(vwx132, vwx142, cf, cg, da)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, app(ty_[], fh)), cd), dh)) → new_lt2(vwx130, vwx140, fh)
new_lt2(:(vwx30, vwx31), :(vwx40, vwx41), bdd) → new_compare0(vwx31, vwx41, bdd)
new_compare2(Just(vwx130), Just(vwx140), False, app(ty_Maybe, app(app(ty_Either, bf), bg))) → new_ltEs1(vwx130, vwx140, bf, bg)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), app(app(ty_@2, bdb), bdc), bcc) → new_lt3(vwx130, vwx140, bdb, bdc)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, cdg, app(app(app(ty_@3, cea), ceb), cec)) → new_ltEs0(vwx83, vwx85, cea, ceb, cec)
new_compare21(vwx35, vwx36, False, app(ty_[], cbh), cbb) → new_ltEs2(vwx35, vwx36, cbh)
new_primCompAux(vwx30, vwx40, vwx8, app(app(app(ty_@3, bdf), bdg), bdh)) → new_compare3(vwx30, vwx40, bdf, bdg, bdh)
new_compare21(vwx35, vwx36, False, app(app(ty_Either, cbf), cbg), cbb) → new_ltEs1(vwx35, vwx36, cbf, cbg)
new_ltEs1(Right(vwx130), Right(vwx140), he, app(app(ty_Either, bab), bac)) → new_ltEs1(vwx130, vwx140, bab, bac)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, cd, app(ty_Maybe, ce)) → new_ltEs(vwx132, vwx142, ce)
new_compare0(:(vwx30, vwx31), :(vwx40, vwx41), bdd) → new_primCompAux(vwx30, vwx40, new_compare1(vwx31, vwx41, bdd), bdd)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, app(app(ty_Either, bfg), bfh), bfb, bfc) → new_lt1(vwx69, vwx72, bfg, bfh)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), app(app(ty_@2, ga), gb), cd, dh) → new_lt3(vwx130, vwx140, ga, gb)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, bfb, app(ty_Maybe, bge)) → new_ltEs(vwx71, vwx74, bge)
new_compare4(Right(vwx30), Right(vwx40), cag, cah) → new_compare22(vwx30, vwx40, new_esEs9(vwx30, vwx40, cah), cag, cah)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, app(app(ty_Either, ff), fg)), cd), dh)) → new_lt1(vwx130, vwx140, ff, fg)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, app(app(ty_@2, bgb), bgc), bfb, bfc) → new_lt3(vwx69, vwx72, bgb, bgc)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, bah), app(app(ty_Either, bbe), bbf))) → new_ltEs1(vwx131, vwx141, bbe, bbf)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), cd), app(app(ty_@2, de), df))) → new_ltEs3(vwx132, vwx142, de, df)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, bah), app(app(app(ty_@3, bbb), bbc), bbd))) → new_ltEs0(vwx131, vwx141, bbb, bbc, bbd)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), app(app(ty_Either, ed), ee)), dh)) → new_lt1(vwx131, vwx141, ed, ee)
new_compare2(Left(vwx130), Left(vwx140), False, app(app(ty_Either, app(ty_[], hb)), gd)) → new_ltEs2(vwx130, vwx140, hb)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, app(ty_[], bga), bfb, bfc) → new_lt2(vwx69, vwx72, bga)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, app(app(app(ty_@3, bhg), bhh), caa), bfc) → new_lt0(vwx70, vwx73, bhg, bhh, caa)
new_lt3(@2(vwx30, vwx31), @2(vwx40, vwx41), ccc, ccd) → new_compare23(vwx30, vwx31, vwx40, vwx41, new_asAs(new_esEs11(vwx30, vwx40, ccc), new_esEs10(vwx31, vwx41, ccd)), ccc, ccd)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, app(ty_Maybe, fa)), cd), dh)) → new_lt(vwx130, vwx140, fa)
new_ltEs2(vwx13, vwx14, bag) → new_compare0(vwx13, vwx14, bag)
new_primCompAux(vwx30, vwx40, vwx8, app(app(ty_@2, bed), bee)) → new_compare5(vwx30, vwx40, bed, bee)
new_compare21(vwx35, vwx36, False, app(app(ty_@2, cca), ccb), cbb) → new_ltEs3(vwx35, vwx36, cca, ccb)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, app(app(app(ty_@3, ccg), cch), cda), ccf) → new_lt0(vwx82, vwx84, ccg, cch, cda)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, cdg, app(app(ty_@2, ceg), ceh)) → new_ltEs3(vwx83, vwx85, ceg, ceh)
new_ltEs1(Right(vwx130), Right(vwx140), he, app(app(app(ty_@3, hg), hh), baa)) → new_ltEs0(vwx130, vwx140, hg, hh, baa)
new_compare2(Just(vwx130), Just(vwx140), False, app(ty_Maybe, app(ty_[], bh))) → new_ltEs2(vwx130, vwx140, bh)
new_compare22(vwx42, vwx43, False, cfa, app(ty_[], cfh)) → new_ltEs2(vwx42, vwx43, cfh)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), app(app(app(ty_@3, fb), fc), fd), cd, dh) → new_lt0(vwx130, vwx140, fb, fc, fd)
new_compare22(vwx42, vwx43, False, cfa, app(ty_Maybe, cfb)) → new_ltEs(vwx42, vwx43, cfb)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, app(app(ty_@2, eg), eh), dh) → new_lt3(vwx131, vwx141, eg, eh)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, app(app(ty_@2, ga), gb)), cd), dh)) → new_lt3(vwx130, vwx140, ga, gb)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, app(app(app(ty_@3, fb), fc), fd)), cd), dh)) → new_lt0(vwx130, vwx140, fb, fc, fd)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, app(ty_[], cdd), ccf) → new_lt2(vwx82, vwx84, cdd)
new_compare2(Just(vwx130), Just(vwx140), False, app(ty_Maybe, app(app(ty_@2, ca), cb))) → new_ltEs3(vwx130, vwx140, ca, cb)
new_ltEs1(Left(vwx130), Left(vwx140), app(ty_[], hb), gd) → new_ltEs2(vwx130, vwx140, hb)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, cdg, app(app(ty_Either, ced), cee)) → new_ltEs1(vwx83, vwx85, ced, cee)
new_compare5(@2(vwx30, vwx31), @2(vwx40, vwx41), ccc, ccd) → new_compare23(vwx30, vwx31, vwx40, vwx41, new_asAs(new_esEs11(vwx30, vwx40, ccc), new_esEs10(vwx31, vwx41, ccd)), ccc, ccd)
new_ltEs(Just(vwx130), Just(vwx140), app(ty_Maybe, bb)) → new_ltEs(vwx130, vwx140, bb)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), app(ty_[], ef)), dh)) → new_lt2(vwx131, vwx141, ef)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), app(app(ty_Either, bcg), bch), bcc) → new_lt1(vwx130, vwx140, bcg, bch)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), bah, app(ty_Maybe, bba)) → new_ltEs(vwx131, vwx141, bba)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, app(app(ty_Either, cdb), cdc), ccf) → new_lt1(vwx82, vwx84, cdb, cdc)
new_primCompAux(vwx30, vwx40, vwx8, app(ty_[], bec)) → new_compare0(vwx30, vwx40, bec)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, app(ty_[], cad), bfc) → new_lt2(vwx70, vwx73, cad)
new_compare2(Just(vwx130), Just(vwx140), False, app(ty_Maybe, app(ty_Maybe, bb))) → new_ltEs(vwx130, vwx140, bb)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), app(app(ty_@2, eg), eh)), dh)) → new_lt3(vwx131, vwx141, eg, eh)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, app(app(ty_@2, cae), caf), bfc) → new_lt3(vwx70, vwx73, cae, caf)
new_compare22(vwx42, vwx43, False, cfa, app(app(app(ty_@3, cfc), cfd), cfe)) → new_ltEs0(vwx42, vwx43, cfc, cfd, cfe)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, app(app(app(ty_@3, ea), eb), ec), dh) → new_lt0(vwx131, vwx141, ea, eb, ec)
new_compare2(Right(vwx130), Right(vwx140), False, app(app(ty_Either, he), app(ty_Maybe, hf))) → new_ltEs(vwx130, vwx140, hf)
new_primCompAux(vwx30, vwx40, vwx8, app(app(ty_Either, bea), beb)) → new_compare4(vwx30, vwx40, bea, beb)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, app(app(app(ty_@3, bcd), bce), bcf)), bcc)) → new_lt0(vwx130, vwx140, bcd, bce, bcf)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, bah), app(app(ty_@2, bbh), bca))) → new_ltEs3(vwx131, vwx141, bbh, bca)
new_ltEs1(Right(vwx130), Right(vwx140), he, app(ty_[], bad)) → new_ltEs2(vwx130, vwx140, bad)
new_ltEs1(Right(vwx130), Right(vwx140), he, app(ty_Maybe, hf)) → new_ltEs(vwx130, vwx140, hf)
new_lt1(Right(vwx30), Right(vwx40), cag, cah) → new_compare22(vwx30, vwx40, new_esEs9(vwx30, vwx40, cah), cag, cah)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, app(app(ty_Either, bcg), bch)), bcc)) → new_lt1(vwx130, vwx140, bcg, bch)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, app(app(ty_Either, ed), ee), dh) → new_lt1(vwx131, vwx141, ed, ee)
new_compare2(vwx13, vwx14, False, app(ty_[], bag)) → new_compare0(vwx13, vwx14, bag)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, app(app(ty_Either, cab), cac), bfc) → new_lt1(vwx70, vwx73, cab, cac)
new_compare23(vwx82, vwx83, vwx84, vwx85, False, cdg, app(ty_[], cef)) → new_ltEs2(vwx83, vwx85, cef)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, cd, app(ty_[], dd)) → new_ltEs2(vwx132, vwx142, dd)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), cd), app(ty_[], dd))) → new_ltEs2(vwx132, vwx142, dd)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, bfb, app(app(ty_Either, bha), bhb)) → new_ltEs1(vwx71, vwx74, bha, bhb)
new_ltEs(Just(vwx130), Just(vwx140), app(app(ty_@2, ca), cb)) → new_ltEs3(vwx130, vwx140, ca, cb)
new_ltEs1(Right(vwx130), Right(vwx140), he, app(app(ty_@2, bae), baf)) → new_ltEs3(vwx130, vwx140, bae, baf)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, app(ty_Maybe, bcb)), bcc)) → new_lt(vwx130, vwx140, bcb)
new_ltEs(Just(vwx130), Just(vwx140), app(app(ty_Either, bf), bg)) → new_ltEs1(vwx130, vwx140, bf, bg)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), cd), app(app(ty_Either, db), dc))) → new_ltEs1(vwx132, vwx142, db, dc)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, cd, app(app(ty_Either, db), dc)) → new_ltEs1(vwx132, vwx142, db, dc)
new_compare2(Just(vwx130), Just(vwx140), False, app(ty_Maybe, app(app(app(ty_@3, bc), bd), be))) → new_ltEs0(vwx130, vwx140, bc, bd, be)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), app(ty_Maybe, fa), cd, dh) → new_lt(vwx130, vwx140, fa)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), app(app(app(ty_@3, ea), eb), ec)), dh)) → new_lt0(vwx131, vwx141, ea, eb, ec)
new_compare2(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), False, app(app(app(ty_@3, cc), cd), app(app(app(ty_@3, cf), cg), da))) → new_ltEs0(vwx132, vwx142, cf, cg, da)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), app(ty_Maybe, bcb), bcc) → new_lt(vwx130, vwx140, bcb)
new_compare22(vwx42, vwx43, False, cfa, app(app(ty_Either, cff), cfg)) → new_ltEs1(vwx42, vwx43, cff, cfg)
new_compare2(Left(vwx130), Left(vwx140), False, app(app(ty_Either, app(ty_Maybe, gc)), gd)) → new_ltEs(vwx130, vwx140, gc)
new_compare(Just(vwx30), Just(vwx40), ba) → new_compare2(vwx30, vwx40, new_esEs4(vwx30, vwx40, ba), ba)
new_compare2(@2(vwx130, vwx131), @2(vwx140, vwx141), False, app(app(ty_@2, app(ty_[], bda)), bcc)) → new_lt2(vwx130, vwx140, bda)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), app(app(app(ty_@3, bcd), bce), bcf), bcc) → new_lt0(vwx130, vwx140, bcd, bce, bcf)
new_compare20(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, bfb, app(ty_[], bhc)) → new_ltEs2(vwx71, vwx74, bhc)
new_compare21(vwx35, vwx36, False, app(ty_Maybe, cba), cbb) → new_ltEs(vwx35, vwx36, cba)
new_primCompAux(vwx30, vwx40, vwx8, app(ty_Maybe, bde)) → new_compare(vwx30, vwx40, bde)
new_ltEs1(Left(vwx130), Left(vwx140), app(app(ty_@2, hc), hd), gd) → new_ltEs3(vwx130, vwx140, hc, hd)
new_ltEs0(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, app(ty_Maybe, dg), dh) → new_lt(vwx131, vwx141, dg)
new_ltEs3(@2(vwx130, vwx131), @2(vwx140, vwx141), app(ty_[], bda), bcc) → new_lt2(vwx130, vwx140, bda)

The TRS R consists of the following rules:

new_compare27(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, False, bgd, bfb, bfc) → new_compare110(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, new_lt9(vwx69, vwx72, bgd), new_asAs(new_esEs31(vwx69, vwx72, bgd), new_pePe(new_lt10(vwx70, vwx73, bfb), new_asAs(new_esEs30(vwx70, vwx73, bfb), new_ltEs20(vwx71, vwx74, bfc)))), bgd, bfb, bfc)
new_esEs40(vwx130, vwx140, ty_Float) → new_esEs14(vwx130, vwx140)
new_compare112(vwx98, vwx99, True, fhd) → LT
new_ltEs22(vwx132, vwx142, app(app(ty_@2, de), df)) → new_ltEs12(vwx132, vwx142, de, df)
new_lt22(vwx130, vwx140, ty_Int) → new_lt17(vwx130, vwx140)
new_lt5(vwx3, vwx4) → new_esEs26(new_compare8(vwx3, vwx4))
new_esEs19(Just(vwx300), Just(vwx400), app(ty_[], dfa)) → new_esEs25(vwx300, vwx400, dfa)
new_ltEs15(EQ, LT) → False
new_ltEs5(vwx42, vwx43, app(app(ty_Either, cff), cfg)) → new_ltEs10(vwx42, vwx43, cff, cfg)
new_compare1(:(vwx30, vwx31), :(vwx40, vwx41), bdd) → new_primCompAux1(vwx30, vwx40, new_compare1(vwx31, vwx41, bdd), bdd)
new_esEs11(vwx30, vwx40, ty_Integer) → new_esEs18(vwx30, vwx40)
new_esEs27(vwx302, vwx402, app(app(ty_@2, dfh), dga)) → new_esEs17(vwx302, vwx402, dfh, dga)
new_compare15(vwx119, vwx120, True, fgg, fgh) → LT
new_esEs31(vwx69, vwx72, app(ty_Maybe, bfa)) → new_esEs19(vwx69, vwx72, bfa)
new_compare8(True, False) → GT
new_lt15(vwx3, vwx4) → new_esEs26(new_compare32(vwx3, vwx4))
new_ltEs10(Left(vwx130), Right(vwx140), he, gd) → True
new_esEs27(vwx302, vwx402, ty_Bool) → new_esEs23(vwx302, vwx402)
new_lt8(vwx3, vwx4, bef, beg, beh) → new_esEs26(new_compare26(vwx3, vwx4, bef, beg, beh))
new_esEs29(vwx300, vwx400, ty_@0) → new_esEs13(vwx300, vwx400)
new_esEs28(vwx301, vwx401, ty_Float) → new_esEs14(vwx301, vwx401)
new_lt20(vwx82, vwx84, ty_Char) → new_lt11(vwx82, vwx84)
new_ltEs8(Just(vwx130), Just(vwx140), ty_Char) → new_ltEs6(vwx130, vwx140)
new_compare10(vwx112, vwx113, True, dde, ddf) → LT
new_ltEs21(vwx83, vwx85, app(ty_Ratio, fcd)) → new_ltEs18(vwx83, vwx85, fcd)
new_esEs40(vwx130, vwx140, app(app(ty_Either, bcg), bch)) → new_esEs22(vwx130, vwx140, bcg, bch)
new_esEs9(vwx30, vwx40, ty_@0) → new_esEs13(vwx30, vwx40)
new_compare14(vwx149, vwx150, vwx151, vwx152, False, ebc, ebd) → GT
new_lt20(vwx82, vwx84, app(app(app(ty_@3, ccg), cch), cda)) → new_lt8(vwx82, vwx84, ccg, cch, cda)
new_compare31(vwx30, vwx40, ty_Bool) → new_compare8(vwx30, vwx40)
new_lt14(vwx3, vwx4, ccc, ccd) → new_esEs26(new_compare30(vwx3, vwx4, ccc, ccd))
new_compare32(@0, @0) → EQ
new_ltEs10(Right(vwx130), Right(vwx140), he, ty_Bool) → new_ltEs7(vwx130, vwx140)
new_esEs20(Double(vwx300, vwx301), Double(vwx400, vwx401)) → new_esEs24(new_sr(vwx300, vwx400), new_sr(vwx301, vwx401))
new_esEs27(vwx302, vwx402, ty_Double) → new_esEs20(vwx302, vwx402)
new_esEs9(vwx30, vwx40, ty_Char) → new_esEs15(vwx30, vwx40)
new_lt10(vwx70, vwx73, app(ty_Maybe, bhf)) → new_lt4(vwx70, vwx73, bhf)
new_ltEs19(vwx35, vwx36, ty_Float) → new_ltEs4(vwx35, vwx36)
new_ltEs22(vwx132, vwx142, app(app(ty_Either, db), dc)) → new_ltEs10(vwx132, vwx142, db, dc)
new_ltEs15(EQ, EQ) → True
new_compare31(vwx30, vwx40, ty_Ordering) → new_compare16(vwx30, vwx40)
new_esEs39(vwx300, vwx400, app(ty_Ratio, fgc)) → new_esEs21(vwx300, vwx400, fgc)
new_esEs39(vwx300, vwx400, app(app(ty_Either, fgd), fge)) → new_esEs22(vwx300, vwx400, fgd, fge)
new_compare30(@2(vwx30, vwx31), @2(vwx40, vwx41), ccc, ccd) → new_compare29(vwx30, vwx31, vwx40, vwx41, new_asAs(new_esEs11(vwx30, vwx40, ccc), new_esEs10(vwx31, vwx41, ccd)), ccc, ccd)
new_ltEs10(Left(vwx130), Left(vwx140), ty_Ordering, gd) → new_ltEs15(vwx130, vwx140)
new_primMulNat0(Zero, Zero) → Zero
new_ltEs21(vwx83, vwx85, ty_Int) → new_ltEs16(vwx83, vwx85)
new_esEs10(vwx31, vwx41, ty_@0) → new_esEs13(vwx31, vwx41)
new_esEs19(Just(vwx300), Just(vwx400), ty_Ordering) → new_esEs12(vwx300, vwx400)
new_compare7(Just(vwx30), Just(vwx40), ba) → new_compare28(vwx30, vwx40, new_esEs4(vwx30, vwx40, ba), ba)
new_lt23(vwx130, vwx140, app(ty_Ratio, fhb)) → new_lt19(vwx130, vwx140, fhb)
new_esEs4(vwx30, vwx40, ty_Integer) → new_esEs18(vwx30, vwx40)
new_esEs6(vwx31, vwx41, app(app(ty_@2, efc), efd)) → new_esEs17(vwx31, vwx41, efc, efd)
new_ltEs8(Just(vwx130), Just(vwx140), ty_Ordering) → new_ltEs15(vwx130, vwx140)
new_lt12(vwx3, vwx4, cag, cah) → new_esEs26(new_compare17(vwx3, vwx4, cag, cah))
new_esEs40(vwx130, vwx140, ty_Int) → new_esEs24(vwx130, vwx140)
new_ltEs8(Just(vwx130), Just(vwx140), ty_Double) → new_ltEs17(vwx130, vwx140)
new_esEs36(vwx130, vwx140, ty_Char) → new_esEs15(vwx130, vwx140)
new_esEs38(vwx301, vwx401, ty_Bool) → new_esEs23(vwx301, vwx401)
new_esEs7(vwx30, vwx40, ty_Float) → new_esEs14(vwx30, vwx40)
new_esEs31(vwx69, vwx72, app(ty_[], bga)) → new_esEs25(vwx69, vwx72, bga)
new_ltEs21(vwx83, vwx85, ty_Float) → new_ltEs4(vwx83, vwx85)
new_esEs19(Just(vwx300), Just(vwx400), ty_Bool) → new_esEs23(vwx300, vwx400)
new_esEs10(vwx31, vwx41, app(app(app(ty_@3, edf), edg), edh)) → new_esEs16(vwx31, vwx41, edf, edg, edh)
new_esEs30(vwx70, vwx73, ty_@0) → new_esEs13(vwx70, vwx73)
new_esEs19(Just(vwx300), Just(vwx400), app(app(ty_Either, deg), deh)) → new_esEs22(vwx300, vwx400, deg, deh)
new_lt23(vwx130, vwx140, ty_Bool) → new_lt5(vwx130, vwx140)
new_ltEs19(vwx35, vwx36, ty_Integer) → new_ltEs14(vwx35, vwx36)
new_ltEs20(vwx71, vwx74, app(ty_Maybe, bge)) → new_ltEs8(vwx71, vwx74, bge)
new_esEs11(vwx30, vwx40, ty_Char) → new_esEs15(vwx30, vwx40)
new_esEs6(vwx31, vwx41, ty_@0) → new_esEs13(vwx31, vwx41)
new_esEs34(vwx82, vwx84, ty_Bool) → new_esEs23(vwx82, vwx84)
new_lt20(vwx82, vwx84, app(app(ty_Either, cdb), cdc)) → new_lt12(vwx82, vwx84, cdb, cdc)
new_esEs38(vwx301, vwx401, ty_Float) → new_esEs14(vwx301, vwx401)
new_compare19(:%(vwx30, vwx31), :%(vwx40, vwx41), ty_Integer) → new_compare18(new_sr0(vwx30, vwx41), new_sr0(vwx40, vwx31))
new_lt9(vwx69, vwx72, ty_Double) → new_lt6(vwx69, vwx72)
new_lt9(vwx69, vwx72, app(ty_Ratio, fbg)) → new_lt19(vwx69, vwx72, fbg)
new_ltEs7(True, True) → True
new_fsEs(vwx156) → new_not(new_esEs12(vwx156, GT))
new_compare1([], :(vwx40, vwx41), bdd) → LT
new_esEs35(vwx131, vwx141, ty_Int) → new_esEs24(vwx131, vwx141)
new_ltEs15(GT, LT) → False
new_compare16(LT, GT) → LT
new_esEs34(vwx82, vwx84, ty_Ordering) → new_esEs12(vwx82, vwx84)
new_esEs37(vwx300, vwx400, app(app(ty_Either, fdh), fea)) → new_esEs22(vwx300, vwx400, fdh, fea)
new_esEs27(vwx302, vwx402, ty_Char) → new_esEs15(vwx302, vwx402)
new_esEs12(LT, GT) → False
new_esEs12(GT, LT) → False
new_compare31(vwx30, vwx40, ty_Char) → new_compare6(vwx30, vwx40)
new_esEs37(vwx300, vwx400, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_esEs6(vwx31, vwx41, ty_Int) → new_esEs24(vwx31, vwx41)
new_ltEs19(vwx35, vwx36, ty_@0) → new_ltEs13(vwx35, vwx36)
new_esEs6(vwx31, vwx41, app(ty_Maybe, efe)) → new_esEs19(vwx31, vwx41, efe)
new_ltEs10(Right(vwx130), Right(vwx140), he, ty_Char) → new_ltEs6(vwx130, vwx140)
new_ltEs20(vwx71, vwx74, app(app(ty_@2, bhd), bhe)) → new_ltEs12(vwx71, vwx74, bhd, bhe)
new_esEs19(Just(vwx300), Nothing, ddg) → False
new_esEs19(Nothing, Just(vwx400), ddg) → False
new_esEs37(vwx300, vwx400, ty_Integer) → new_esEs18(vwx300, vwx400)
new_lt10(vwx70, vwx73, app(app(app(ty_@3, bhg), bhh), caa)) → new_lt8(vwx70, vwx73, bhg, bhh, caa)
new_esEs35(vwx131, vwx141, app(app(ty_@2, eg), eh)) → new_esEs17(vwx131, vwx141, eg, eh)
new_lt18(vwx3, vwx4) → new_esEs26(new_compare11(vwx3, vwx4))
new_esEs4(vwx30, vwx40, app(app(app(ty_@3, dfb), dfc), dfd)) → new_esEs16(vwx30, vwx40, dfb, dfc, dfd)
new_esEs19(Just(vwx300), Just(vwx400), ty_Char) → new_esEs15(vwx300, vwx400)
new_esEs36(vwx130, vwx140, app(ty_[], fh)) → new_esEs25(vwx130, vwx140, fh)
new_lt22(vwx130, vwx140, app(app(app(ty_@3, fb), fc), fd)) → new_lt8(vwx130, vwx140, fb, fc, fd)
new_ltEs23(vwx131, vwx141, app(app(ty_Either, bbe), bbf)) → new_ltEs10(vwx131, vwx141, bbe, bbf)
new_ltEs24(vwx13, vwx14, app(app(ty_@2, bah), bcc)) → new_ltEs12(vwx13, vwx14, bah, bcc)
new_esEs36(vwx130, vwx140, ty_Bool) → new_esEs23(vwx130, vwx140)
new_compare28(vwx13, vwx14, False, fhc) → new_compare112(vwx13, vwx14, new_ltEs24(vwx13, vwx14, fhc), fhc)
new_esEs19(Nothing, Nothing, ddg) → True
new_esEs31(vwx69, vwx72, app(ty_Ratio, fbg)) → new_esEs21(vwx69, vwx72, fbg)
new_compare11(Float(vwx30, vwx31), Float(vwx40, vwx41)) → new_compare12(new_sr(vwx30, vwx40), new_sr(vwx31, vwx41))
new_lt20(vwx82, vwx84, app(ty_[], cdd)) → new_lt13(vwx82, vwx84, cdd)
new_ltEs23(vwx131, vwx141, ty_Ordering) → new_ltEs15(vwx131, vwx141)
new_ltEs21(vwx83, vwx85, app(app(ty_@2, ceg), ceh)) → new_ltEs12(vwx83, vwx85, ceg, ceh)
new_esEs10(vwx31, vwx41, ty_Double) → new_esEs20(vwx31, vwx41)
new_esEs27(vwx302, vwx402, app(app(ty_Either, dgd), dge)) → new_esEs22(vwx302, vwx402, dgd, dge)
new_ltEs19(vwx35, vwx36, ty_Char) → new_ltEs6(vwx35, vwx36)
new_compare8(False, False) → EQ
new_ltEs8(Just(vwx130), Just(vwx140), app(app(app(ty_@3, bc), bd), be)) → new_ltEs9(vwx130, vwx140, bc, bd, be)
new_esEs7(vwx30, vwx40, ty_Int) → new_esEs24(vwx30, vwx40)
new_esEs7(vwx30, vwx40, app(ty_[], fah)) → new_esEs25(vwx30, vwx40, fah)
new_ltEs7(True, False) → False
new_pePe(False, vwx161) → vwx161
new_ltEs10(Left(vwx130), Left(vwx140), app(app(ty_@2, hc), hd), gd) → new_ltEs12(vwx130, vwx140, hc, hd)
new_ltEs10(Left(vwx130), Left(vwx140), ty_Char, gd) → new_ltEs6(vwx130, vwx140)
new_ltEs19(vwx35, vwx36, ty_Ordering) → new_ltEs15(vwx35, vwx36)
new_esEs7(vwx30, vwx40, ty_Char) → new_esEs15(vwx30, vwx40)
new_lt10(vwx70, vwx73, app(ty_[], cad)) → new_lt13(vwx70, vwx73, cad)
new_esEs22(Right(vwx300), Right(vwx400), dah, ty_Bool) → new_esEs23(vwx300, vwx400)
new_ltEs10(Right(vwx130), Right(vwx140), he, ty_Float) → new_ltEs4(vwx130, vwx140)
new_esEs9(vwx30, vwx40, app(app(ty_@2, dcf), dcg)) → new_esEs17(vwx30, vwx40, dcf, dcg)
new_ltEs7(False, True) → True
new_lt22(vwx130, vwx140, ty_Double) → new_lt6(vwx130, vwx140)
new_esEs38(vwx301, vwx401, app(ty_[], ffd)) → new_esEs25(vwx301, vwx401, ffd)
new_ltEs24(vwx13, vwx14, ty_Integer) → new_ltEs14(vwx13, vwx14)
new_esEs19(Just(vwx300), Just(vwx400), ty_Integer) → new_esEs18(vwx300, vwx400)
new_esEs8(vwx30, vwx40, app(ty_[], ech)) → new_esEs25(vwx30, vwx40, ech)
new_ltEs15(EQ, GT) → True
new_esEs28(vwx301, vwx401, ty_Integer) → new_esEs18(vwx301, vwx401)
new_esEs5(vwx32, vwx42, ty_Ordering) → new_esEs12(vwx32, vwx42)
new_esEs34(vwx82, vwx84, ty_Double) → new_esEs20(vwx82, vwx84)
new_esEs9(vwx30, vwx40, app(app(ty_Either, ddb), ddc)) → new_esEs22(vwx30, vwx40, ddb, ddc)
new_compare19(:%(vwx30, vwx31), :%(vwx40, vwx41), ty_Int) → new_compare12(new_sr(vwx30, vwx41), new_sr(vwx40, vwx31))
new_esEs4(vwx30, vwx40, ty_Float) → new_esEs14(vwx30, vwx40)
new_esEs27(vwx302, vwx402, app(ty_[], dgf)) → new_esEs25(vwx302, vwx402, dgf)
new_esEs25([], [], fbf) → True
new_lt9(vwx69, vwx72, ty_Float) → new_lt18(vwx69, vwx72)
new_esEs28(vwx301, vwx401, ty_@0) → new_esEs13(vwx301, vwx401)
new_esEs9(vwx30, vwx40, app(ty_Maybe, dch)) → new_esEs19(vwx30, vwx40, dch)
new_ltEs19(vwx35, vwx36, app(ty_[], cbh)) → new_ltEs11(vwx35, vwx36, cbh)
new_esEs29(vwx300, vwx400, app(app(ty_@2, ead), eae)) → new_esEs17(vwx300, vwx400, ead, eae)
new_ltEs10(Left(vwx130), Left(vwx140), ty_Float, gd) → new_ltEs4(vwx130, vwx140)
new_esEs19(Just(vwx300), Just(vwx400), app(app(ty_@2, dec), ded)) → new_esEs17(vwx300, vwx400, dec, ded)
new_esEs40(vwx130, vwx140, app(app(ty_@2, bdb), bdc)) → new_esEs17(vwx130, vwx140, bdb, bdc)
new_esEs31(vwx69, vwx72, app(app(ty_Either, bfg), bfh)) → new_esEs22(vwx69, vwx72, bfg, bfh)
new_esEs31(vwx69, vwx72, ty_Integer) → new_esEs18(vwx69, vwx72)
new_esEs26(EQ) → False
new_lt20(vwx82, vwx84, app(app(ty_@2, cde), cdf)) → new_lt14(vwx82, vwx84, cde, cdf)
new_esEs35(vwx131, vwx141, app(ty_[], ef)) → new_esEs25(vwx131, vwx141, ef)
new_ltEs10(Left(vwx130), Left(vwx140), app(app(ty_Either, gh), ha), gd) → new_ltEs10(vwx130, vwx140, gh, ha)
new_esEs35(vwx131, vwx141, ty_Integer) → new_esEs18(vwx131, vwx141)
new_lt9(vwx69, vwx72, app(ty_[], bga)) → new_lt13(vwx69, vwx72, bga)
new_esEs33(vwx300, vwx400, ty_Integer) → new_esEs18(vwx300, vwx400)
new_esEs10(vwx31, vwx41, ty_Ordering) → new_esEs12(vwx31, vwx41)
new_esEs8(vwx30, vwx40, app(app(app(ty_@3, ebg), ebh), eca)) → new_esEs16(vwx30, vwx40, ebg, ebh, eca)
new_esEs22(Left(vwx300), Left(vwx400), ty_Double, che) → new_esEs20(vwx300, vwx400)
new_esEs38(vwx301, vwx401, app(ty_Maybe, feh)) → new_esEs19(vwx301, vwx401, feh)
new_ltEs19(vwx35, vwx36, app(ty_Ratio, fbb)) → new_ltEs18(vwx35, vwx36, fbb)
new_esEs9(vwx30, vwx40, ty_Bool) → new_esEs23(vwx30, vwx40)
new_esEs34(vwx82, vwx84, ty_Integer) → new_esEs18(vwx82, vwx84)
new_ltEs19(vwx35, vwx36, ty_Double) → new_ltEs17(vwx35, vwx36)
new_esEs35(vwx131, vwx141, app(app(ty_Either, ed), ee)) → new_esEs22(vwx131, vwx141, ed, ee)
new_lt9(vwx69, vwx72, ty_Ordering) → new_lt16(vwx69, vwx72)
new_esEs7(vwx30, vwx40, app(ty_Maybe, fad)) → new_esEs19(vwx30, vwx40, fad)
new_compare31(vwx30, vwx40, app(app(app(ty_@3, bdf), bdg), bdh)) → new_compare26(vwx30, vwx40, bdf, bdg, bdh)
new_esEs28(vwx301, vwx401, app(app(ty_Either, dhf), dhg)) → new_esEs22(vwx301, vwx401, dhf, dhg)
new_primCmpNat0(Zero, Succ(vwx400)) → LT
new_ltEs15(LT, LT) → True
new_esEs9(vwx30, vwx40, app(app(app(ty_@3, dcc), dcd), dce)) → new_esEs16(vwx30, vwx40, dcc, dcd, dce)
new_esEs39(vwx300, vwx400, ty_Float) → new_esEs14(vwx300, vwx400)
new_compare17(Right(vwx30), Right(vwx40), cag, cah) → new_compare24(vwx30, vwx40, new_esEs9(vwx30, vwx40, cah), cag, cah)
new_esEs34(vwx82, vwx84, app(app(app(ty_@3, ccg), cch), cda)) → new_esEs16(vwx82, vwx84, ccg, cch, cda)
new_ltEs8(Nothing, Just(vwx140), eda) → True
new_compare7(Just(vwx30), Nothing, ba) → GT
new_ltEs23(vwx131, vwx141, ty_Float) → new_ltEs4(vwx131, vwx141)
new_esEs39(vwx300, vwx400, ty_@0) → new_esEs13(vwx300, vwx400)
new_lt10(vwx70, vwx73, ty_Int) → new_lt17(vwx70, vwx73)
new_compare31(vwx30, vwx40, app(app(ty_Either, bea), beb)) → new_compare17(vwx30, vwx40, bea, beb)
new_esEs36(vwx130, vwx140, ty_Integer) → new_esEs18(vwx130, vwx140)
new_lt22(vwx130, vwx140, app(ty_Maybe, fa)) → new_lt4(vwx130, vwx140, fa)
new_lt20(vwx82, vwx84, ty_@0) → new_lt15(vwx82, vwx84)
new_compare17(Left(vwx30), Left(vwx40), cag, cah) → new_compare25(vwx30, vwx40, new_esEs8(vwx30, vwx40, cag), cag, cah)
new_esEs5(vwx32, vwx42, ty_Char) → new_esEs15(vwx32, vwx42)
new_esEs34(vwx82, vwx84, ty_Char) → new_esEs15(vwx82, vwx84)
new_ltEs19(vwx35, vwx36, app(app(ty_Either, cbf), cbg)) → new_ltEs10(vwx35, vwx36, cbf, cbg)
new_esEs31(vwx69, vwx72, app(app(ty_@2, bgb), bgc)) → new_esEs17(vwx69, vwx72, bgb, bgc)
new_ltEs14(vwx13, vwx14) → new_fsEs(new_compare18(vwx13, vwx14))
new_esEs8(vwx30, vwx40, app(app(ty_Either, ecf), ecg)) → new_esEs22(vwx30, vwx40, ecf, ecg)
new_esEs12(LT, LT) → True
new_ltEs24(vwx13, vwx14, app(ty_[], bag)) → new_ltEs11(vwx13, vwx14, bag)
new_esEs35(vwx131, vwx141, ty_Double) → new_esEs20(vwx131, vwx141)
new_compare16(GT, GT) → EQ
new_esEs34(vwx82, vwx84, app(app(ty_Either, cdb), cdc)) → new_esEs22(vwx82, vwx84, cdb, cdc)
new_lt9(vwx69, vwx72, ty_Char) → new_lt11(vwx69, vwx72)
new_ltEs10(Left(vwx130), Left(vwx140), app(ty_Maybe, gc), gd) → new_ltEs8(vwx130, vwx140, gc)
new_ltEs21(vwx83, vwx85, ty_Char) → new_ltEs6(vwx83, vwx85)
new_pePe(True, vwx161) → True
new_primEqNat0(Zero, Zero) → True
new_esEs22(Right(vwx300), Right(vwx400), dah, ty_Int) → new_esEs24(vwx300, vwx400)
new_ltEs20(vwx71, vwx74, app(ty_Ratio, fbh)) → new_ltEs18(vwx71, vwx74, fbh)
new_ltEs21(vwx83, vwx85, ty_Double) → new_ltEs17(vwx83, vwx85)
new_compare110(vwx134, vwx135, vwx136, vwx137, vwx138, vwx139, False, vwx141, egb, egc, egd) → new_compare111(vwx134, vwx135, vwx136, vwx137, vwx138, vwx139, vwx141, egb, egc, egd)
new_esEs22(Left(vwx300), Left(vwx400), ty_Int, che) → new_esEs24(vwx300, vwx400)
new_compare16(LT, LT) → EQ
new_esEs5(vwx32, vwx42, ty_Float) → new_esEs14(vwx32, vwx42)
new_ltEs8(Just(vwx130), Just(vwx140), ty_Bool) → new_ltEs7(vwx130, vwx140)
new_ltEs20(vwx71, vwx74, ty_Integer) → new_ltEs14(vwx71, vwx74)
new_lt7(vwx3, vwx4) → new_esEs26(new_compare18(vwx3, vwx4))
new_ltEs5(vwx42, vwx43, app(ty_Maybe, cfb)) → new_ltEs8(vwx42, vwx43, cfb)
new_lt20(vwx82, vwx84, ty_Integer) → new_lt7(vwx82, vwx84)
new_ltEs22(vwx132, vwx142, ty_Ordering) → new_ltEs15(vwx132, vwx142)
new_esEs10(vwx31, vwx41, ty_Int) → new_esEs24(vwx31, vwx41)
new_esEs23(False, False) → True
new_esEs6(vwx31, vwx41, ty_Ordering) → new_esEs12(vwx31, vwx41)
new_ltEs5(vwx42, vwx43, app(ty_Ratio, ebf)) → new_ltEs18(vwx42, vwx43, ebf)
new_ltEs23(vwx131, vwx141, ty_Integer) → new_ltEs14(vwx131, vwx141)
new_esEs30(vwx70, vwx73, app(app(app(ty_@3, bhg), bhh), caa)) → new_esEs16(vwx70, vwx73, bhg, bhh, caa)
new_esEs15(Char(vwx300), Char(vwx400)) → new_primEqNat0(vwx300, vwx400)
new_sr(vwx30, vwx40) → new_primMulInt(vwx30, vwx40)
new_esEs8(vwx30, vwx40, app(ty_Maybe, ecd)) → new_esEs19(vwx30, vwx40, ecd)
new_esEs32(vwx301, vwx401, ty_Integer) → new_esEs18(vwx301, vwx401)
new_ltEs12(@2(vwx130, vwx131), @2(vwx140, vwx141), bah, bcc) → new_pePe(new_lt23(vwx130, vwx140, bah), new_asAs(new_esEs40(vwx130, vwx140, bah), new_ltEs23(vwx131, vwx141, bcc)))
new_lt9(vwx69, vwx72, app(app(ty_@2, bgb), bgc)) → new_lt14(vwx69, vwx72, bgb, bgc)
new_esEs5(vwx32, vwx42, ty_Bool) → new_esEs23(vwx32, vwx42)
new_esEs7(vwx30, vwx40, ty_@0) → new_esEs13(vwx30, vwx40)
new_ltEs10(Right(vwx130), Right(vwx140), he, ty_@0) → new_ltEs13(vwx130, vwx140)
new_esEs27(vwx302, vwx402, app(app(app(ty_@3, dfe), dff), dfg)) → new_esEs16(vwx302, vwx402, dfe, dff, dfg)
new_esEs37(vwx300, vwx400, ty_Char) → new_esEs15(vwx300, vwx400)
new_esEs6(vwx31, vwx41, app(ty_[], ega)) → new_esEs25(vwx31, vwx41, ega)
new_ltEs15(GT, GT) → True
new_esEs5(vwx32, vwx42, ty_@0) → new_esEs13(vwx32, vwx42)
new_ltEs10(Right(vwx130), Right(vwx140), he, app(ty_Maybe, hf)) → new_ltEs8(vwx130, vwx140, hf)
new_compare31(vwx30, vwx40, ty_Double) → new_compare9(vwx30, vwx40)
new_esEs9(vwx30, vwx40, ty_Integer) → new_esEs18(vwx30, vwx40)
new_esEs11(vwx30, vwx40, ty_Ordering) → new_esEs12(vwx30, vwx40)
new_primPlusNat0(Succ(vwx1620), vwx4000) → Succ(Succ(new_primPlusNat1(vwx1620, vwx4000)))
new_lt9(vwx69, vwx72, ty_Integer) → new_lt7(vwx69, vwx72)
new_esEs11(vwx30, vwx40, ty_@0) → new_esEs13(vwx30, vwx40)
new_ltEs11(vwx13, vwx14, bag) → new_fsEs(new_compare1(vwx13, vwx14, bag))
new_esEs7(vwx30, vwx40, ty_Bool) → new_esEs23(vwx30, vwx40)
new_ltEs23(vwx131, vwx141, app(app(app(ty_@3, bbb), bbc), bbd)) → new_ltEs9(vwx131, vwx141, bbb, bbc, bbd)
new_esEs27(vwx302, vwx402, ty_Int) → new_esEs24(vwx302, vwx402)
new_ltEs22(vwx132, vwx142, app(ty_Ratio, fcf)) → new_ltEs18(vwx132, vwx142, fcf)
new_ltEs20(vwx71, vwx74, ty_Int) → new_ltEs16(vwx71, vwx74)
new_esEs28(vwx301, vwx401, ty_Int) → new_esEs24(vwx301, vwx401)
new_primEqInt(Neg(Succ(vwx3000)), Neg(Succ(vwx4000))) → new_primEqNat0(vwx3000, vwx4000)
new_esEs39(vwx300, vwx400, app(app(ty_@2, ffh), fga)) → new_esEs17(vwx300, vwx400, ffh, fga)
new_ltEs8(Just(vwx130), Just(vwx140), app(ty_Ratio, edb)) → new_ltEs18(vwx130, vwx140, edb)
new_esEs4(vwx30, vwx40, ty_Bool) → new_esEs23(vwx30, vwx40)
new_ltEs19(vwx35, vwx36, app(app(app(ty_@3, cbc), cbd), cbe)) → new_ltEs9(vwx35, vwx36, cbc, cbd, cbe)
new_esEs29(vwx300, vwx400, app(app(app(ty_@3, eaa), eab), eac)) → new_esEs16(vwx300, vwx400, eaa, eab, eac)
new_esEs39(vwx300, vwx400, ty_Double) → new_esEs20(vwx300, vwx400)
new_esEs40(vwx130, vwx140, ty_Ordering) → new_esEs12(vwx130, vwx140)
new_ltEs20(vwx71, vwx74, app(app(app(ty_@3, bgf), bgg), bgh)) → new_ltEs9(vwx71, vwx74, bgf, bgg, bgh)
new_esEs28(vwx301, vwx401, ty_Char) → new_esEs15(vwx301, vwx401)
new_primPlusNat1(Succ(vwx16200), Zero) → Succ(vwx16200)
new_primPlusNat1(Zero, Succ(vwx40000)) → Succ(vwx40000)
new_esEs22(Right(vwx300), Right(vwx400), dah, ty_Double) → new_esEs20(vwx300, vwx400)
new_esEs40(vwx130, vwx140, ty_@0) → new_esEs13(vwx130, vwx140)
new_ltEs10(Left(vwx130), Left(vwx140), ty_Int, gd) → new_ltEs16(vwx130, vwx140)
new_esEs12(LT, EQ) → False
new_esEs12(EQ, LT) → False
new_ltEs10(Right(vwx130), Right(vwx140), he, ty_Ordering) → new_ltEs15(vwx130, vwx140)
new_lt10(vwx70, vwx73, app(ty_Ratio, fca)) → new_lt19(vwx70, vwx73, fca)
new_esEs6(vwx31, vwx41, ty_Double) → new_esEs20(vwx31, vwx41)
new_lt23(vwx130, vwx140, ty_Int) → new_lt17(vwx130, vwx140)
new_primEqInt(Neg(Zero), Neg(Zero)) → True
new_esEs22(Left(vwx300), Left(vwx400), ty_Integer, che) → new_esEs18(vwx300, vwx400)
new_ltEs22(vwx132, vwx142, app(ty_[], dd)) → new_ltEs11(vwx132, vwx142, dd)
new_ltEs5(vwx42, vwx43, ty_Float) → new_ltEs4(vwx42, vwx43)
new_esEs26(GT) → False
new_esEs27(vwx302, vwx402, app(ty_Ratio, dgc)) → new_esEs21(vwx302, vwx402, dgc)
new_primEqInt(Neg(Succ(vwx3000)), Neg(Zero)) → False
new_primEqInt(Neg(Zero), Neg(Succ(vwx4000))) → False
new_primCompAux0(vwx48, GT) → GT
new_esEs8(vwx30, vwx40, ty_Double) → new_esEs20(vwx30, vwx40)
new_ltEs8(Just(vwx130), Just(vwx140), app(app(ty_Either, bf), bg)) → new_ltEs10(vwx130, vwx140, bf, bg)
new_esEs39(vwx300, vwx400, ty_Integer) → new_esEs18(vwx300, vwx400)
new_esEs39(vwx300, vwx400, ty_Bool) → new_esEs23(vwx300, vwx400)
new_esEs38(vwx301, vwx401, ty_Integer) → new_esEs18(vwx301, vwx401)
new_esEs19(Just(vwx300), Just(vwx400), app(ty_Maybe, dee)) → new_esEs19(vwx300, vwx400, dee)
new_compare24(vwx42, vwx43, True, cfa, ebe) → EQ
new_ltEs21(vwx83, vwx85, app(ty_[], cef)) → new_ltEs11(vwx83, vwx85, cef)
new_ltEs24(vwx13, vwx14, ty_Int) → new_ltEs16(vwx13, vwx14)
new_primCmpInt(Neg(Zero), Pos(Zero)) → EQ
new_primCmpInt(Pos(Zero), Neg(Zero)) → EQ
new_ltEs10(Right(vwx130), Right(vwx140), he, app(ty_[], bad)) → new_ltEs11(vwx130, vwx140, bad)
new_esEs7(vwx30, vwx40, ty_Integer) → new_esEs18(vwx30, vwx40)
new_esEs39(vwx300, vwx400, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_ltEs24(vwx13, vwx14, app(app(ty_Either, he), gd)) → new_ltEs10(vwx13, vwx14, he, gd)
new_ltEs15(LT, GT) → True
new_primCmpNat0(Succ(vwx300), Succ(vwx400)) → new_primCmpNat0(vwx300, vwx400)
new_lt21(vwx131, vwx141, app(app(app(ty_@3, ea), eb), ec)) → new_lt8(vwx131, vwx141, ea, eb, ec)
new_esEs4(vwx30, vwx40, app(ty_Ratio, fbe)) → new_esEs21(vwx30, vwx40, fbe)
new_esEs38(vwx301, vwx401, app(app(ty_Either, ffb), ffc)) → new_esEs22(vwx301, vwx401, ffb, ffc)
new_ltEs24(vwx13, vwx14, ty_@0) → new_ltEs13(vwx13, vwx14)
new_primEqInt(Pos(Succ(vwx3000)), Pos(Succ(vwx4000))) → new_primEqNat0(vwx3000, vwx4000)
new_compare10(vwx112, vwx113, False, dde, ddf) → GT
new_esEs31(vwx69, vwx72, ty_Bool) → new_esEs23(vwx69, vwx72)
new_ltEs22(vwx132, vwx142, ty_Double) → new_ltEs17(vwx132, vwx142)
new_esEs37(vwx300, vwx400, app(app(ty_@2, fdd), fde)) → new_esEs17(vwx300, vwx400, fdd, fde)
new_esEs19(Just(vwx300), Just(vwx400), ty_@0) → new_esEs13(vwx300, vwx400)
new_esEs27(vwx302, vwx402, app(ty_Maybe, dgb)) → new_esEs19(vwx302, vwx402, dgb)
new_esEs19(Just(vwx300), Just(vwx400), ty_Double) → new_esEs20(vwx300, vwx400)
new_lt22(vwx130, vwx140, app(app(ty_@2, ga), gb)) → new_lt14(vwx130, vwx140, ga, gb)
new_esEs38(vwx301, vwx401, ty_Ordering) → new_esEs12(vwx301, vwx401)
new_esEs34(vwx82, vwx84, ty_Int) → new_esEs24(vwx82, vwx84)
new_ltEs23(vwx131, vwx141, app(ty_Maybe, bba)) → new_ltEs8(vwx131, vwx141, bba)
new_esEs34(vwx82, vwx84, app(app(ty_@2, cde), cdf)) → new_esEs17(vwx82, vwx84, cde, cdf)
new_ltEs24(vwx13, vwx14, app(app(app(ty_@3, cc), cd), dh)) → new_ltEs9(vwx13, vwx14, cc, cd, dh)
new_esEs8(vwx30, vwx40, ty_Integer) → new_esEs18(vwx30, vwx40)
new_lt23(vwx130, vwx140, app(app(ty_Either, bcg), bch)) → new_lt12(vwx130, vwx140, bcg, bch)
new_primEqNat0(Succ(vwx3000), Succ(vwx4000)) → new_primEqNat0(vwx3000, vwx4000)
new_lt4(vwx3, vwx4, ba) → new_esEs26(new_compare7(vwx3, vwx4, ba))
new_esEs28(vwx301, vwx401, app(app(app(ty_@3, dgg), dgh), dha)) → new_esEs16(vwx301, vwx401, dgg, dgh, dha)
new_ltEs22(vwx132, vwx142, ty_Char) → new_ltEs6(vwx132, vwx142)
new_esEs11(vwx30, vwx40, app(ty_Ratio, cha)) → new_esEs21(vwx30, vwx40, cha)
new_esEs30(vwx70, vwx73, ty_Integer) → new_esEs18(vwx70, vwx73)
new_esEs39(vwx300, vwx400, app(ty_[], fgf)) → new_esEs25(vwx300, vwx400, fgf)
new_esEs39(vwx300, vwx400, ty_Char) → new_esEs15(vwx300, vwx400)
new_esEs22(Left(vwx300), Left(vwx400), app(ty_[], dag), che) → new_esEs25(vwx300, vwx400, dag)
new_esEs16(@3(vwx300, vwx301, vwx302), @3(vwx400, vwx401, vwx402), dfb, dfc, dfd) → new_asAs(new_esEs29(vwx300, vwx400, dfb), new_asAs(new_esEs28(vwx301, vwx401, dfc), new_esEs27(vwx302, vwx402, dfd)))
new_ltEs10(Left(vwx130), Left(vwx140), app(ty_Ratio, edc), gd) → new_ltEs18(vwx130, vwx140, edc)
new_primCmpInt(Neg(Succ(vwx300)), Neg(vwx40)) → new_primCmpNat0(vwx40, Succ(vwx300))
new_ltEs8(Just(vwx130), Nothing, eda) → False
new_ltEs10(Right(vwx130), Right(vwx140), he, app(app(ty_Either, bab), bac)) → new_ltEs10(vwx130, vwx140, bab, bac)
new_esEs22(Right(vwx300), Right(vwx400), dah, app(app(ty_@2, dbd), dbe)) → new_esEs17(vwx300, vwx400, dbd, dbe)
new_esEs22(Left(vwx300), Left(vwx400), ty_Float, che) → new_esEs14(vwx300, vwx400)
new_esEs36(vwx130, vwx140, app(app(ty_Either, ff), fg)) → new_esEs22(vwx130, vwx140, ff, fg)
new_esEs12(EQ, EQ) → True
new_ltEs10(Right(vwx130), Right(vwx140), he, app(app(app(ty_@3, hg), hh), baa)) → new_ltEs9(vwx130, vwx140, hg, hh, baa)
new_esEs35(vwx131, vwx141, ty_Ordering) → new_esEs12(vwx131, vwx141)
new_esEs10(vwx31, vwx41, ty_Char) → new_esEs15(vwx31, vwx41)
new_primEqInt(Pos(Succ(vwx3000)), Pos(Zero)) → False
new_primEqInt(Pos(Zero), Pos(Succ(vwx4000))) → False
new_lt20(vwx82, vwx84, ty_Int) → new_lt17(vwx82, vwx84)
new_esEs35(vwx131, vwx141, ty_Bool) → new_esEs23(vwx131, vwx141)
new_ltEs5(vwx42, vwx43, ty_@0) → new_ltEs13(vwx42, vwx43)
new_primCmpNat0(Zero, Zero) → EQ
new_compare27(vwx69, vwx70, vwx71, vwx72, vwx73, vwx74, True, bgd, bfb, bfc) → EQ
new_lt22(vwx130, vwx140, ty_Char) → new_lt11(vwx130, vwx140)
new_primCmpNat0(Succ(vwx300), Zero) → GT
new_lt20(vwx82, vwx84, ty_Bool) → new_lt5(vwx82, vwx84)
new_compare31(vwx30, vwx40, app(ty_Ratio, fce)) → new_compare19(vwx30, vwx40, fce)
new_primCmpInt(Neg(Zero), Pos(Succ(vwx400))) → LT
new_lt11(vwx3, vwx4) → new_esEs26(new_compare6(vwx3, vwx4))
new_lt9(vwx69, vwx72, app(ty_Maybe, bfa)) → new_lt4(vwx69, vwx72, bfa)
new_esEs6(vwx31, vwx41, ty_Float) → new_esEs14(vwx31, vwx41)
new_ltEs10(Right(vwx130), Right(vwx140), he, ty_Integer) → new_ltEs14(vwx130, vwx140)
new_compare31(vwx30, vwx40, ty_Int) → new_compare12(vwx30, vwx40)
new_ltEs24(vwx13, vwx14, ty_Ordering) → new_ltEs15(vwx13, vwx14)
new_sr0(Integer(vwx300), Integer(vwx410)) → Integer(new_primMulInt(vwx300, vwx410))
new_esEs5(vwx32, vwx42, ty_Double) → new_esEs20(vwx32, vwx42)
new_primPlusNat1(Succ(vwx16200), Succ(vwx40000)) → Succ(Succ(new_primPlusNat1(vwx16200, vwx40000)))
new_ltEs19(vwx35, vwx36, app(app(ty_@2, cca), ccb)) → new_ltEs12(vwx35, vwx36, cca, ccb)
new_esEs23(True, True) → True
new_esEs36(vwx130, vwx140, app(app(app(ty_@3, fb), fc), fd)) → new_esEs16(vwx130, vwx140, fb, fc, fd)
new_primEqInt(Pos(Succ(vwx3000)), Neg(vwx400)) → False
new_primEqInt(Neg(Succ(vwx3000)), Pos(vwx400)) → False
new_esEs7(vwx30, vwx40, app(app(ty_Either, faf), fag)) → new_esEs22(vwx30, vwx40, faf, fag)
new_esEs19(Just(vwx300), Just(vwx400), ty_Float) → new_esEs14(vwx300, vwx400)
new_esEs29(vwx300, vwx400, ty_Int) → new_esEs24(vwx300, vwx400)
new_esEs28(vwx301, vwx401, ty_Double) → new_esEs20(vwx301, vwx401)
new_esEs10(vwx31, vwx41, ty_Bool) → new_esEs23(vwx31, vwx41)
new_esEs29(vwx300, vwx400, app(ty_Ratio, eag)) → new_esEs21(vwx300, vwx400, eag)
new_ltEs5(vwx42, vwx43, ty_Bool) → new_ltEs7(vwx42, vwx43)
new_compare16(GT, EQ) → GT
new_lt23(vwx130, vwx140, app(ty_Maybe, bcb)) → new_lt4(vwx130, vwx140, bcb)
new_ltEs10(Right(vwx130), Right(vwx140), he, ty_Int) → new_ltEs16(vwx130, vwx140)
new_compare18(Integer(vwx30), Integer(vwx40)) → new_primCmpInt(vwx30, vwx40)
new_lt9(vwx69, vwx72, app(app(app(ty_@3, bfd), bfe), bff)) → new_lt8(vwx69, vwx72, bfd, bfe, bff)
new_lt22(vwx130, vwx140, app(app(ty_Either, ff), fg)) → new_lt12(vwx130, vwx140, ff, fg)
new_lt21(vwx131, vwx141, app(app(ty_Either, ed), ee)) → new_lt12(vwx131, vwx141, ed, ee)
new_esEs37(vwx300, vwx400, ty_Float) → new_esEs14(vwx300, vwx400)
new_esEs30(vwx70, vwx73, ty_Ordering) → new_esEs12(vwx70, vwx73)
new_compare12(vwx3, vwx4) → new_primCmpInt(vwx3, vwx4)
new_lt6(vwx3, vwx4) → new_esEs26(new_compare9(vwx3, vwx4))
new_primEqInt(Pos(Zero), Neg(Succ(vwx4000))) → False
new_primEqInt(Neg(Zero), Pos(Succ(vwx4000))) → False
new_esEs10(vwx31, vwx41, app(ty_[], eeg)) → new_esEs25(vwx31, vwx41, eeg)
new_esEs13(@0, @0) → True
new_esEs30(vwx70, vwx73, ty_Bool) → new_esEs23(vwx70, vwx73)
new_primCmpInt(Pos(Zero), Pos(Succ(vwx400))) → new_primCmpNat0(Zero, Succ(vwx400))
new_esEs37(vwx300, vwx400, ty_Double) → new_esEs20(vwx300, vwx400)
new_esEs9(vwx30, vwx40, ty_Ordering) → new_esEs12(vwx30, vwx40)
new_esEs23(True, False) → False
new_esEs23(False, True) → False
new_esEs11(vwx30, vwx40, ty_Float) → new_esEs14(vwx30, vwx40)
new_ltEs24(vwx13, vwx14, app(ty_Maybe, eda)) → new_ltEs8(vwx13, vwx14, eda)
new_esEs36(vwx130, vwx140, app(ty_Maybe, fa)) → new_esEs19(vwx130, vwx140, fa)
new_esEs38(vwx301, vwx401, app(app(ty_@2, fef), feg)) → new_esEs17(vwx301, vwx401, fef, feg)
new_ltEs5(vwx42, vwx43, app(app(app(ty_@3, cfc), cfd), cfe)) → new_ltEs9(vwx42, vwx43, cfc, cfd, cfe)
new_ltEs5(vwx42, vwx43, ty_Double) → new_ltEs17(vwx42, vwx43)
new_ltEs20(vwx71, vwx74, ty_Ordering) → new_ltEs15(vwx71, vwx74)
new_esEs28(vwx301, vwx401, app(ty_Maybe, dhd)) → new_esEs19(vwx301, vwx401, dhd)
new_esEs38(vwx301, vwx401, app(app(app(ty_@3, fec), fed), fee)) → new_esEs16(vwx301, vwx401, fec, fed, fee)
new_esEs28(vwx301, vwx401, ty_Ordering) → new_esEs12(vwx301, vwx401)
new_ltEs23(vwx131, vwx141, app(ty_Ratio, fha)) → new_ltEs18(vwx131, vwx141, fha)
new_lt21(vwx131, vwx141, app(ty_[], ef)) → new_lt13(vwx131, vwx141, ef)
new_lt9(vwx69, vwx72, ty_Bool) → new_lt5(vwx69, vwx72)
new_ltEs23(vwx131, vwx141, ty_Int) → new_ltEs16(vwx131, vwx141)
new_primCompAux0(vwx48, LT) → LT
new_esEs6(vwx31, vwx41, ty_Integer) → new_esEs18(vwx31, vwx41)
new_lt10(vwx70, vwx73, app(app(ty_Either, cab), cac)) → new_lt12(vwx70, vwx73, cab, cac)
new_esEs36(vwx130, vwx140, app(app(ty_@2, ga), gb)) → new_esEs17(vwx130, vwx140, ga, gb)
new_esEs7(vwx30, vwx40, app(app(ty_@2, fab), fac)) → new_esEs17(vwx30, vwx40, fab, fac)
new_esEs9(vwx30, vwx40, ty_Float) → new_esEs14(vwx30, vwx40)
new_lt10(vwx70, vwx73, app(app(ty_@2, cae), caf)) → new_lt14(vwx70, vwx73, cae, caf)
new_not(False) → True
new_ltEs22(vwx132, vwx142, ty_Int) → new_ltEs16(vwx132, vwx142)
new_esEs34(vwx82, vwx84, app(ty_Ratio, fcc)) → new_esEs21(vwx82, vwx84, fcc)
new_esEs36(vwx130, vwx140, ty_Double) → new_esEs20(vwx130, vwx140)
new_ltEs18(vwx13, vwx14, ede) → new_fsEs(new_compare19(vwx13, vwx14, ede))
new_esEs34(vwx82, vwx84, ty_@0) → new_esEs13(vwx82, vwx84)
new_esEs29(vwx300, vwx400, ty_Bool) → new_esEs23(vwx300, vwx400)
new_esEs31(vwx69, vwx72, ty_Char) → new_esEs15(vwx69, vwx72)
new_primCmpInt(Pos(Succ(vwx300)), Pos(vwx40)) → new_primCmpNat0(Succ(vwx300), vwx40)
new_primPlusNat0(Zero, vwx4000) → Succ(vwx4000)
new_esEs12(EQ, GT) → False
new_esEs12(GT, EQ) → False
new_lt19(vwx3, vwx4, fcb) → new_esEs26(new_compare19(vwx3, vwx4, fcb))
new_ltEs8(Just(vwx130), Just(vwx140), app(app(ty_@2, ca), cb)) → new_ltEs12(vwx130, vwx140, ca, cb)
new_lt10(vwx70, vwx73, ty_Integer) → new_lt7(vwx70, vwx73)
new_esEs36(vwx130, vwx140, ty_Float) → new_esEs14(vwx130, vwx140)
new_esEs4(vwx30, vwx40, ty_Ordering) → new_esEs12(vwx30, vwx40)
new_esEs37(vwx300, vwx400, ty_Int) → new_esEs24(vwx300, vwx400)
new_esEs4(vwx30, vwx40, app(app(ty_@2, fbc), fbd)) → new_esEs17(vwx30, vwx40, fbc, fbd)
new_esEs22(Right(vwx300), Right(vwx400), dah, ty_Float) → new_esEs14(vwx300, vwx400)
new_compare29(vwx82, vwx83, vwx84, vwx85, True, cdg, ccf) → EQ
new_ltEs5(vwx42, vwx43, ty_Integer) → new_ltEs14(vwx42, vwx43)
new_compare16(EQ, GT) → LT
new_esEs34(vwx82, vwx84, ty_Float) → new_esEs14(vwx82, vwx84)
new_compare111(vwx134, vwx135, vwx136, vwx137, vwx138, vwx139, False, egb, egc, egd) → GT
new_esEs36(vwx130, vwx140, app(ty_Ratio, fch)) → new_esEs21(vwx130, vwx140, fch)
new_esEs22(Left(vwx300), Left(vwx400), ty_Bool, che) → new_esEs23(vwx300, vwx400)
new_esEs30(vwx70, vwx73, app(ty_Ratio, fca)) → new_esEs21(vwx70, vwx73, fca)
new_esEs21(:%(vwx300, vwx301), :%(vwx400, vwx401), fbe) → new_asAs(new_esEs33(vwx300, vwx400, fbe), new_esEs32(vwx301, vwx401, fbe))
new_esEs40(vwx130, vwx140, ty_Double) → new_esEs20(vwx130, vwx140)
new_esEs25(:(vwx300, vwx301), [], fbf) → False
new_esEs25([], :(vwx400, vwx401), fbf) → False
new_esEs22(Left(vwx300), Left(vwx400), app(app(ty_Either, dae), daf), che) → new_esEs22(vwx300, vwx400, dae, daf)
new_lt22(vwx130, vwx140, ty_Integer) → new_lt7(vwx130, vwx140)
new_esEs30(vwx70, vwx73, app(app(ty_@2, cae), caf)) → new_esEs17(vwx70, vwx73, cae, caf)
new_lt22(vwx130, vwx140, ty_Ordering) → new_lt16(vwx130, vwx140)
new_ltEs5(vwx42, vwx43, ty_Ordering) → new_ltEs15(vwx42, vwx43)
new_ltEs10(Left(vwx130), Left(vwx140), ty_Double, gd) → new_ltEs17(vwx130, vwx140)
new_ltEs24(vwx13, vwx14, ty_Float) → new_ltEs4(vwx13, vwx14)
new_esEs5(vwx32, vwx42, app(app(app(ty_@3, ege), egf), egg)) → new_esEs16(vwx32, vwx42, ege, egf, egg)
new_lt20(vwx82, vwx84, ty_Double) → new_lt6(vwx82, vwx84)
new_compare17(Left(vwx30), Right(vwx40), cag, cah) → LT
new_lt17(vwx3, vwx4) → new_esEs26(new_compare12(vwx3, vwx4))
new_lt23(vwx130, vwx140, ty_Double) → new_lt6(vwx130, vwx140)
new_esEs29(vwx300, vwx400, app(ty_[], ebb)) → new_esEs25(vwx300, vwx400, ebb)
new_compare7(Nothing, Just(vwx40), ba) → LT
new_compare110(vwx134, vwx135, vwx136, vwx137, vwx138, vwx139, True, vwx141, egb, egc, egd) → new_compare111(vwx134, vwx135, vwx136, vwx137, vwx138, vwx139, True, egb, egc, egd)
new_primCmpInt(Pos(Succ(vwx300)), Neg(vwx40)) → GT
new_esEs34(vwx82, vwx84, app(ty_Maybe, cce)) → new_esEs19(vwx82, vwx84, cce)
new_lt21(vwx131, vwx141, app(app(ty_@2, eg), eh)) → new_lt14(vwx131, vwx141, eg, eh)
new_ltEs15(LT, EQ) → True
new_compare7(Nothing, Nothing, ba) → EQ
new_esEs8(vwx30, vwx40, app(ty_Ratio, ece)) → new_esEs21(vwx30, vwx40, ece)
new_esEs8(vwx30, vwx40, ty_Int) → new_esEs24(vwx30, vwx40)
new_esEs6(vwx31, vwx41, ty_Bool) → new_esEs23(vwx31, vwx41)
new_compare31(vwx30, vwx40, app(ty_Maybe, bde)) → new_compare7(vwx30, vwx40, bde)
new_esEs36(vwx130, vwx140, ty_@0) → new_esEs13(vwx130, vwx140)
new_esEs10(vwx31, vwx41, app(app(ty_@2, eea), eeb)) → new_esEs17(vwx31, vwx41, eea, eeb)
new_primMulInt(Pos(vwx300), Pos(vwx400)) → Pos(new_primMulNat0(vwx300, vwx400))
new_ltEs10(Right(vwx130), Right(vwx140), he, ty_Double) → new_ltEs17(vwx130, vwx140)
new_compare17(Right(vwx30), Left(vwx40), cag, cah) → GT
new_esEs11(vwx30, vwx40, ty_Int) → new_esEs24(vwx30, vwx40)
new_esEs31(vwx69, vwx72, ty_Float) → new_esEs14(vwx69, vwx72)
new_ltEs19(vwx35, vwx36, app(ty_Maybe, cba)) → new_ltEs8(vwx35, vwx36, cba)
new_primMulInt(Neg(vwx300), Neg(vwx400)) → Pos(new_primMulNat0(vwx300, vwx400))
new_esEs37(vwx300, vwx400, app(app(app(ty_@3, fda), fdb), fdc)) → new_esEs16(vwx300, vwx400, fda, fdb, fdc)
new_esEs35(vwx131, vwx141, ty_@0) → new_esEs13(vwx131, vwx141)
new_ltEs5(vwx42, vwx43, ty_Int) → new_ltEs16(vwx42, vwx43)
new_lt10(vwx70, vwx73, ty_Double) → new_lt6(vwx70, vwx73)
new_esEs29(vwx300, vwx400, ty_Char) → new_esEs15(vwx300, vwx400)
new_lt22(vwx130, vwx140, ty_Bool) → new_lt5(vwx130, vwx140)
new_primEqNat0(Succ(vwx3000), Zero) → False
new_primEqNat0(Zero, Succ(vwx4000)) → False
new_ltEs8(Just(vwx130), Just(vwx140), ty_Integer) → new_ltEs14(vwx130, vwx140)
new_esEs22(Right(vwx300), Right(vwx400), dah, app(ty_[], dcb)) → new_esEs25(vwx300, vwx400, dcb)
new_ltEs22(vwx132, vwx142, ty_@0) → new_ltEs13(vwx132, vwx142)
new_compare25(vwx35, vwx36, True, fba, cbb) → EQ
new_ltEs9(@3(vwx130, vwx131, vwx132), @3(vwx140, vwx141, vwx142), cc, cd, dh) → new_pePe(new_lt22(vwx130, vwx140, cc), new_asAs(new_esEs36(vwx130, vwx140, cc), new_pePe(new_lt21(vwx131, vwx141, cd), new_asAs(new_esEs35(vwx131, vwx141, cd), new_ltEs22(vwx132, vwx142, dh)))))
new_esEs6(vwx31, vwx41, app(ty_Ratio, eff)) → new_esEs21(vwx31, vwx41, eff)
new_ltEs5(vwx42, vwx43, app(ty_[], cfh)) → new_ltEs11(vwx42, vwx43, cfh)
new_primEqInt(Pos(Zero), Pos(Zero)) → True
new_lt9(vwx69, vwx72, ty_Int) → new_lt17(vwx69, vwx72)
new_lt23(vwx130, vwx140, ty_Char) → new_lt11(vwx130, vwx140)
new_compare31(vwx30, vwx40, app(app(ty_@2, bed), bee)) → new_compare30(vwx30, vwx40, bed, bee)
new_esEs11(vwx30, vwx40, app(app(ty_@2, cgf), cgg)) → new_esEs17(vwx30, vwx40, cgf, cgg)
new_ltEs21(vwx83, vwx85, ty_Bool) → new_ltEs7(vwx83, vwx85)
new_compare16(LT, EQ) → LT
new_compare31(vwx30, vwx40, ty_@0) → new_compare32(vwx30, vwx40)
new_lt20(vwx82, vwx84, ty_Float) → new_lt18(vwx82, vwx84)
new_ltEs20(vwx71, vwx74, ty_Double) → new_ltEs17(vwx71, vwx74)
new_ltEs20(vwx71, vwx74, ty_Float) → new_ltEs4(vwx71, vwx74)
new_ltEs20(vwx71, vwx74, app(app(ty_Either, bha), bhb)) → new_ltEs10(vwx71, vwx74, bha, bhb)
new_esEs40(vwx130, vwx140, ty_Bool) → new_esEs23(vwx130, vwx140)
new_esEs5(vwx32, vwx42, ty_Integer) → new_esEs18(vwx32, vwx42)
new_lt21(vwx131, vwx141, ty_Float) → new_lt18(vwx131, vwx141)
new_ltEs10(Left(vwx130), Left(vwx140), app(ty_[], hb), gd) → new_ltEs11(vwx130, vwx140, hb)
new_ltEs23(vwx131, vwx141, ty_Double) → new_ltEs17(vwx131, vwx141)
new_ltEs19(vwx35, vwx36, ty_Bool) → new_ltEs7(vwx35, vwx36)
new_esEs11(vwx30, vwx40, app(app(app(ty_@3, cgc), cgd), cge)) → new_esEs16(vwx30, vwx40, cgc, cgd, cge)
new_ltEs21(vwx83, vwx85, ty_Ordering) → new_ltEs15(vwx83, vwx85)
new_esEs10(vwx31, vwx41, app(ty_Ratio, eed)) → new_esEs21(vwx31, vwx41, eed)
new_compare111(vwx134, vwx135, vwx136, vwx137, vwx138, vwx139, True, egb, egc, egd) → LT
new_ltEs21(vwx83, vwx85, app(ty_Maybe, cdh)) → new_ltEs8(vwx83, vwx85, cdh)
new_primCmpInt(Neg(Zero), Neg(Succ(vwx400))) → new_primCmpNat0(Succ(vwx400), Zero)
new_ltEs22(vwx132, vwx142, ty_Float) → new_ltEs4(vwx132, vwx142)
new_primCmpInt(Pos(Zero), Neg(Succ(vwx400))) → GT
new_esEs4(vwx30, vwx40, app(app(ty_Either, dah), che)) → new_esEs22(vwx30, vwx40, dah, che)
new_compare31(vwx30, vwx40, ty_Float) → new_compare11(vwx30, vwx40)
new_esEs38(vwx301, vwx401, ty_@0) → new_esEs13(vwx301, vwx401)
new_esEs37(vwx300, vwx400, ty_Bool) → new_esEs23(vwx300, vwx400)
new_esEs9(vwx30, vwx40, ty_Double) → new_esEs20(vwx30, vwx40)
new_esEs28(vwx301, vwx401, app(app(ty_@2, dhb), dhc)) → new_esEs17(vwx301, vwx401, dhb, dhc)
new_compare24(vwx42, vwx43, False, cfa, ebe) → new_compare15(vwx42, vwx43, new_ltEs5(vwx42, vwx43, ebe), cfa, ebe)
new_ltEs22(vwx132, vwx142, ty_Integer) → new_ltEs14(vwx132, vwx142)
new_compare15(vwx119, vwx120, False, fgg, fgh) → GT
new_lt22(vwx130, vwx140, app(ty_Ratio, fch)) → new_lt19(vwx130, vwx140, fch)
new_esEs29(vwx300, vwx400, app(ty_Maybe, eaf)) → new_esEs19(vwx300, vwx400, eaf)
new_compare8(False, True) → LT
new_ltEs21(vwx83, vwx85, app(app(ty_Either, ced), cee)) → new_ltEs10(vwx83, vwx85, ced, cee)
new_ltEs24(vwx13, vwx14, app(ty_Ratio, ede)) → new_ltEs18(vwx13, vwx14, ede)
new_esEs10(vwx31, vwx41, app(ty_Maybe, eec)) → new_esEs19(vwx31, vwx41, eec)
new_lt20(vwx82, vwx84, app(ty_Ratio, fcc)) → new_lt19(vwx82, vwx84, fcc)
new_esEs22(Right(vwx300), Right(vwx400), dah, app(ty_Maybe, dbf)) → new_esEs19(vwx300, vwx400, dbf)
new_esEs4(vwx30, vwx40, ty_@0) → new_esEs13(vwx30, vwx40)
new_esEs5(vwx32, vwx42, ty_Int) → new_esEs24(vwx32, vwx42)
new_esEs10(vwx31, vwx41, ty_Float) → new_esEs14(vwx31, vwx41)
new_esEs39(vwx300, vwx400, app(app(app(ty_@3, ffe), fff), ffg)) → new_esEs16(vwx300, vwx400, ffe, fff, ffg)
new_esEs22(Left(vwx300), Left(vwx400), ty_Ordering, che) → new_esEs12(vwx300, vwx400)
new_esEs22(Right(vwx300), Right(vwx400), dah, app(app(app(ty_@3, dba), dbb), dbc)) → new_esEs16(vwx300, vwx400, dba, dbb, dbc)
new_compare14(vwx149, vwx150, vwx151, vwx152, True, ebc, ebd) → LT
new_ltEs10(Right(vwx130), Right(vwx140), he, app(app(ty_@2, bae), baf)) → new_ltEs12(vwx130, vwx140, bae, baf)
new_esEs28(vwx301, vwx401, app(ty_[], dhh)) → new_esEs25(vwx301, vwx401, dhh)
new_lt21(vwx131, vwx141, ty_Double) → new_lt6(vwx131, vwx141)
new_primCmpInt(Neg(Zero), Neg(Zero)) → EQ
new_ltEs24(vwx13, vwx14, ty_Char) → new_ltEs6(vwx13, vwx14)
new_primCompAux1(vwx30, vwx40, vwx8, bdd) → new_primCompAux0(vwx8, new_compare31(vwx30, vwx40, bdd))
new_compare13(vwx149, vwx150, vwx151, vwx152, True, vwx154, ebc, ebd) → new_compare14(vwx149, vwx150, vwx151, vwx152, True, ebc, ebd)
new_esEs5(vwx32, vwx42, app(ty_Ratio, ehc)) → new_esEs21(vwx32, vwx42, ehc)
new_esEs9(vwx30, vwx40, ty_Int) → new_esEs24(vwx30, vwx40)
new_esEs38(vwx301, vwx401, ty_Double) → new_esEs20(vwx301, vwx401)
new_ltEs20(vwx71, vwx74, ty_Bool) → new_ltEs7(vwx71, vwx74)
new_ltEs8(Just(vwx130), Just(vwx140), app(ty_Maybe, bb)) → new_ltEs8(vwx130, vwx140, bb)
new_ltEs4(vwx13, vwx14) → new_fsEs(new_compare11(vwx13, vwx14))
new_esEs8(vwx30, vwx40, ty_Bool) → new_esEs23(vwx30, vwx40)
new_lt21(vwx131, vwx141, ty_Char) → new_lt11(vwx131, vwx141)
new_ltEs6(vwx13, vwx14) → new_fsEs(new_compare6(vwx13, vwx14))
new_ltEs21(vwx83, vwx85, app(app(app(ty_@3, cea), ceb), cec)) → new_ltEs9(vwx83, vwx85, cea, ceb, cec)
new_esEs9(vwx30, vwx40, app(ty_Ratio, dda)) → new_esEs21(vwx30, vwx40, dda)
new_lt23(vwx130, vwx140, ty_Ordering) → new_lt16(vwx130, vwx140)
new_esEs4(vwx30, vwx40, app(ty_[], fbf)) → new_esEs25(vwx30, vwx40, fbf)
new_ltEs23(vwx131, vwx141, ty_Char) → new_ltEs6(vwx131, vwx141)
new_ltEs10(Left(vwx130), Left(vwx140), app(app(app(ty_@3, ge), gf), gg), gd) → new_ltEs9(vwx130, vwx140, ge, gf, gg)
new_asAs(False, vwx107) → False
new_esEs6(vwx31, vwx41, app(app(ty_Either, efg), efh)) → new_esEs22(vwx31, vwx41, efg, efh)
new_esEs22(Right(vwx300), Right(vwx400), dah, app(ty_Ratio, dbg)) → new_esEs21(vwx300, vwx400, dbg)
new_compare16(EQ, EQ) → EQ
new_ltEs22(vwx132, vwx142, app(app(app(ty_@3, cf), cg), da)) → new_ltEs9(vwx132, vwx142, cf, cg, da)
new_ltEs13(vwx13, vwx14) → new_fsEs(new_compare32(vwx13, vwx14))
new_primMulInt(Pos(vwx300), Neg(vwx400)) → Neg(new_primMulNat0(vwx300, vwx400))
new_primMulInt(Neg(vwx300), Pos(vwx400)) → Neg(new_primMulNat0(vwx300, vwx400))
new_ltEs20(vwx71, vwx74, app(ty_[], bhc)) → new_ltEs11(vwx71, vwx74, bhc)
new_esEs32(vwx301, vwx401, ty_Int) → new_esEs24(vwx301, vwx401)
new_primMulNat0(Zero, Succ(vwx4000)) → Zero
new_primMulNat0(Succ(vwx3000), Zero) → Zero
new_esEs36(vwx130, vwx140, ty_Ordering) → new_esEs12(vwx130, vwx140)
new_lt10(vwx70, vwx73, ty_Ordering) → new_lt16(vwx70, vwx73)
new_esEs8(vwx30, vwx40, ty_Char) → new_esEs15(vwx30, vwx40)
new_lt23(vwx130, vwx140, app(app(ty_@2, bdb), bdc)) → new_lt14(vwx130, vwx140, bdb, bdc)
new_lt21(vwx131, vwx141, app(ty_Maybe, dg)) → new_lt4(vwx131, vwx141, dg)
new_esEs5(vwx32, vwx42, app(ty_[], ehf)) → new_esEs25(vwx32, vwx42, ehf)
new_esEs22(Left(vwx300), Left(vwx400), ty_@0, che) → new_esEs13(vwx300, vwx400)
new_esEs27(vwx302, vwx402, ty_Integer) → new_esEs18(vwx302, vwx402)
new_esEs30(vwx70, vwx73, ty_Int) → new_esEs24(vwx70, vwx73)
new_esEs31(vwx69, vwx72, ty_@0) → new_esEs13(vwx69, vwx72)
new_esEs38(vwx301, vwx401, app(ty_Ratio, ffa)) → new_esEs21(vwx301, vwx401, ffa)
new_esEs18(Integer(vwx300), Integer(vwx400)) → new_primEqInt(vwx300, vwx400)
new_esEs37(vwx300, vwx400, app(ty_[], feb)) → new_esEs25(vwx300, vwx400, feb)
new_ltEs10(Left(vwx130), Left(vwx140), ty_Bool, gd) → new_ltEs7(vwx130, vwx140)
new_lt22(vwx130, vwx140, ty_@0) → new_lt15(vwx130, vwx140)
new_esEs27(vwx302, vwx402, ty_@0) → new_esEs13(vwx302, vwx402)
new_compare26(@3(vwx30, vwx31, vwx32), @3(vwx40, vwx41, vwx42), bef, beg, beh) → new_compare27(vwx30, vwx31, vwx32, vwx40, vwx41, vwx42, new_asAs(new_esEs7(vwx30, vwx40, bef), new_asAs(new_esEs6(vwx31, vwx41, beg), new_esEs5(vwx32, vwx42, beh))), bef, beg, beh)
new_esEs22(Right(vwx300), Right(vwx400), dah, ty_Char) → new_esEs15(vwx300, vwx400)
new_esEs30(vwx70, vwx73, ty_Float) → new_esEs14(vwx70, vwx73)
new_ltEs8(Just(vwx130), Just(vwx140), app(ty_[], bh)) → new_ltEs11(vwx130, vwx140, bh)
new_lt23(vwx130, vwx140, ty_Integer) → new_lt7(vwx130, vwx140)
new_ltEs8(Just(vwx130), Just(vwx140), ty_Int) → new_ltEs16(vwx130, vwx140)
new_esEs7(vwx30, vwx40, ty_Ordering) → new_esEs12(vwx30, vwx40)
new_esEs29(vwx300, vwx400, ty_Float) → new_esEs14(vwx300, vwx400)
new_esEs11(vwx30, vwx40, ty_Double) → new_esEs20(vwx30, vwx40)
new_compare9(Double(vwx30, vwx31), Double(vwx40, vwx41)) → new_compare12(new_sr(vwx30, vwx40), new_sr(vwx31, vwx41))
new_compare31(vwx30, vwx40, ty_Integer) → new_compare18(vwx30, vwx40)
new_lt22(vwx130, vwx140, ty_Float) → new_lt18(vwx130, vwx140)
new_esEs40(vwx130, vwx140, app(app(app(ty_@3, bcd), bce), bcf)) → new_esEs16(vwx130, vwx140, bcd, bce, bcf)
new_esEs24(vwx30, vwx40) → new_primEqInt(vwx30, vwx40)
new_esEs30(vwx70, vwx73, app(ty_[], cad)) → new_esEs25(vwx70, vwx73, cad)
new_lt21(vwx131, vwx141, ty_Ordering) → new_lt16(vwx131, vwx141)
new_esEs37(vwx300, vwx400, app(ty_Maybe, fdf)) → new_esEs19(vwx300, vwx400, fdf)
new_ltEs19(vwx35, vwx36, ty_Int) → new_ltEs16(vwx35, vwx36)
new_esEs38(vwx301, vwx401, ty_Char) → new_esEs15(vwx301, vwx401)
new_lt23(vwx130, vwx140, app(app(app(ty_@3, bcd), bce), bcf)) → new_lt8(vwx130, vwx140, bcd, bce, bcf)
new_esEs22(Left(vwx300), Left(vwx400), app(app(ty_@2, daa), dab), che) → new_esEs17(vwx300, vwx400, daa, dab)
new_lt21(vwx131, vwx141, ty_@0) → new_lt15(vwx131, vwx141)
new_lt10(vwx70, vwx73, ty_Float) → new_lt18(vwx70, vwx73)
new_ltEs5(vwx42, vwx43, ty_Char) → new_ltEs6(vwx42, vwx43)
new_ltEs23(vwx131, vwx141, app(app(ty_@2, bbh), bca)) → new_ltEs12(vwx131, vwx141, bbh, bca)
new_lt10(vwx70, vwx73, ty_Bool) → new_lt5(vwx70, vwx73)
new_esEs14(Float(vwx300, vwx301), Float(vwx400, vwx401)) → new_esEs24(new_sr(vwx300, vwx400), new_sr(vwx301, vwx401))
new_esEs30(vwx70, vwx73, app(app(ty_Either, cab), cac)) → new_esEs22(vwx70, vwx73, cab, cac)
new_esEs39(vwx300, vwx400, ty_Int) → new_esEs24(vwx300, vwx400)
new_lt20(vwx82, vwx84, ty_Ordering) → new_lt16(vwx82, vwx84)
new_ltEs21(vwx83, vwx85, ty_@0) → new_ltEs13(vwx83, vwx85)
new_lt21(vwx131, vwx141, ty_Bool) → new_lt5(vwx131, vwx141)
new_esEs8(vwx30, vwx40, app(app(ty_@2, ecb), ecc)) → new_esEs17(vwx30, vwx40, ecb, ecc)
new_esEs5(vwx32, vwx42, app(app(ty_@2, egh), eha)) → new_esEs17(vwx32, vwx42, egh, eha)
new_esEs11(vwx30, vwx40, ty_Bool) → new_esEs23(vwx30, vwx40)
new_compare25(vwx35, vwx36, False, fba, cbb) → new_compare10(vwx35, vwx36, new_ltEs19(vwx35, vwx36, fba), fba, cbb)
new_lt23(vwx130, vwx140, ty_Float) → new_lt18(vwx130, vwx140)
new_esEs6(vwx31, vwx41, app(app(app(ty_@3, eeh), efa), efb)) → new_esEs16(vwx31, vwx41, eeh, efa, efb)
new_esEs4(vwx30, vwx40, ty_Double) → new_esEs20(vwx30, vwx40)
new_ltEs8(Nothing, Nothing, eda) → True
new_esEs39(vwx300, vwx400, app(ty_Maybe, fgb)) → new_esEs19(vwx300, vwx400, fgb)
new_ltEs10(Right(vwx130), Left(vwx140), he, gd) → False
new_lt9(vwx69, vwx72, ty_@0) → new_lt15(vwx69, vwx72)
new_esEs33(vwx300, vwx400, ty_Int) → new_esEs24(vwx300, vwx400)
new_ltEs8(Just(vwx130), Just(vwx140), ty_@0) → new_ltEs13(vwx130, vwx140)
new_esEs27(vwx302, vwx402, ty_Ordering) → new_esEs12(vwx302, vwx402)
new_esEs35(vwx131, vwx141, app(ty_Maybe, dg)) → new_esEs19(vwx131, vwx141, dg)
new_lt21(vwx131, vwx141, ty_Int) → new_lt17(vwx131, vwx141)
new_esEs40(vwx130, vwx140, ty_Char) → new_esEs15(vwx130, vwx140)
new_compare13(vwx149, vwx150, vwx151, vwx152, False, vwx154, ebc, ebd) → new_compare14(vwx149, vwx150, vwx151, vwx152, vwx154, ebc, ebd)
new_lt21(vwx131, vwx141, app(ty_Ratio, fcg)) → new_lt19(vwx131, vwx141, fcg)
new_esEs28(vwx301, vwx401, ty_Bool) → new_esEs23(vwx301, vwx401)
new_esEs7(vwx30, vwx40, app(ty_Ratio, fae)) → new_esEs21(vwx30, vwx40, fae)
new_esEs8(vwx30, vwx40, ty_Float) → new_esEs14(vwx30, vwx40)
new_esEs19(Just(vwx300), Just(vwx400), app(ty_Ratio, def)) → new_esEs21(vwx300, vwx400, def)
new_ltEs7(False, False) → True
new_esEs40(vwx130, vwx140, app(ty_[], bda)) → new_esEs25(vwx130, vwx140, bda)
new_esEs29(vwx300, vwx400, ty_Double) → new_esEs20(vwx300, vwx400)
new_esEs31(vwx69, vwx72, ty_Ordering) → new_esEs12(vwx69, vwx72)
new_esEs4(vwx30, vwx40, ty_Char) → new_esEs15(vwx30, vwx40)
new_compare112(vwx98, vwx99, False, fhd) → GT
new_ltEs8(Just(vwx130), Just(vwx140), ty_Float) → new_ltEs4(vwx130, vwx140)
new_esEs37(vwx300, vwx400, ty_@0) → new_esEs13(vwx300, vwx400)
new_ltEs16(vwx13, vwx14) → new_fsEs(new_compare12(vwx13, vwx14))
new_esEs7(vwx30, vwx40, app(app(app(ty_@3, ehg), ehh), faa)) → new_esEs16(vwx30, vwx40, ehg, ehh, faa)
new_compare16(GT, LT) → GT
new_esEs12(GT, GT) → True
new_esEs35(vwx131, vwx141, app(app(app(ty_@3, ea), eb), ec)) → new_esEs16(vwx131, vwx141, ea, eb, ec)
new_compare29(vwx82, vwx83, vwx84, vwx85, False, cdg, ccf) → new_compare13(vwx82, vwx83, vwx84, vwx85, new_lt20(vwx82, vwx84, cdg), new_asAs(new_esEs34(vwx82, vwx84, cdg), new_ltEs21(vwx83, vwx85, ccf)), cdg, ccf)
new_ltEs23(vwx131, vwx141, app(ty_[], bbg)) → new_ltEs11(vwx131, vwx141, bbg)
new_esEs19(Just(vwx300), Just(vwx400), app(app(app(ty_@3, ddh), dea), deb)) → new_esEs16(vwx300, vwx400, ddh, dea, deb)
new_esEs11(vwx30, vwx40, app(ty_[], chd)) → new_esEs25(vwx30, vwx40, chd)
new_esEs31(vwx69, vwx72, app(app(app(ty_@3, bfd), bfe), bff)) → new_esEs16(vwx69, vwx72, bfd, bfe, bff)
new_esEs29(vwx300, vwx400, app(app(ty_Either, eah), eba)) → new_esEs22(vwx300, vwx400, eah, eba)
new_esEs22(Left(vwx300), Left(vwx400), app(ty_Ratio, dad), che) → new_esEs21(vwx300, vwx400, dad)
new_compare31(vwx30, vwx40, app(ty_[], bec)) → new_compare1(vwx30, vwx40, bec)
new_ltEs20(vwx71, vwx74, ty_Char) → new_ltEs6(vwx71, vwx74)
new_esEs11(vwx30, vwx40, app(ty_Maybe, cgh)) → new_esEs19(vwx30, vwx40, cgh)
new_ltEs24(vwx13, vwx14, ty_Double) → new_ltEs17(vwx13, vwx14)
new_esEs19(Just(vwx300), Just(vwx400), ty_Int) → new_esEs24(vwx300, vwx400)
new_esEs29(vwx300, vwx400, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_lt16(vwx3, vwx4) → new_esEs26(new_compare16(vwx3, vwx4))
new_lt13(vwx3, vwx4, bdd) → new_esEs26(new_compare1(vwx3, vwx4, bdd))
new_ltEs21(vwx83, vwx85, ty_Integer) → new_ltEs14(vwx83, vwx85)
new_primPlusNat1(Zero, Zero) → Zero
new_lt10(vwx70, vwx73, ty_@0) → new_lt15(vwx70, vwx73)
new_lt21(vwx131, vwx141, ty_Integer) → new_lt7(vwx131, vwx141)
new_esEs22(Right(vwx300), Right(vwx400), dah, ty_@0) → new_esEs13(vwx300, vwx400)
new_esEs26(LT) → True
new_esEs40(vwx130, vwx140, app(ty_Ratio, fhb)) → new_esEs21(vwx130, vwx140, fhb)
new_ltEs22(vwx132, vwx142, app(ty_Maybe, ce)) → new_ltEs8(vwx132, vwx142, ce)
new_esEs40(vwx130, vwx140, app(ty_Maybe, bcb)) → new_esEs19(vwx130, vwx140, bcb)
new_asAs(True, vwx107) → vwx107
new_esEs35(vwx131, vwx141, ty_Float) → new_esEs14(vwx131, vwx141)
new_ltEs15(GT, EQ) → False
new_compare8(True, True) → EQ
new_esEs17(@2(vwx300, vwx301), @2(vwx400, vwx401), fbc, fbd) → new_asAs(new_esEs39(vwx300, vwx400, fbc), new_esEs38(vwx301, vwx401, fbd))
new_primMulNat0(Succ(vwx3000), Succ(vwx4000)) → new_primPlusNat0(new_primMulNat0(vwx3000, Succ(vwx4000)), vwx4000)
new_esEs28(vwx301, vwx401, app(ty_Ratio, dhe)) → new_esEs21(vwx301, vwx401, dhe)
new_esEs38(vwx301, vwx401, ty_Int) → new_esEs24(vwx301, vwx401)
new_esEs9(vwx30, vwx40, app(ty_[], ddd)) → new_esEs25(vwx30, vwx40, ddd)
new_esEs22(Right(vwx300), Right(vwx400), dah, ty_Ordering) → new_esEs12(vwx300, vwx400)
new_ltEs5(vwx42, vwx43, app(app(ty_@2, cga), cgb)) → new_ltEs12(vwx42, vwx43, cga, cgb)
new_ltEs24(vwx13, vwx14, ty_Bool) → new_ltEs7(vwx13, vwx14)
new_esEs8(vwx30, vwx40, ty_@0) → new_esEs13(vwx30, vwx40)
new_esEs30(vwx70, vwx73, ty_Double) → new_esEs20(vwx70, vwx73)
new_lt22(vwx130, vwx140, app(ty_[], fh)) → new_lt13(vwx130, vwx140, fh)
new_esEs34(vwx82, vwx84, app(ty_[], cdd)) → new_esEs25(vwx82, vwx84, cdd)
new_compare1(:(vwx30, vwx31), [], bdd) → GT
new_ltEs17(vwx13, vwx14) → new_fsEs(new_compare9(vwx13, vwx14))
new_esEs22(Left(vwx300), Left(vwx400), app(app(app(ty_@3, chf), chg), chh), che) → new_esEs16(vwx300, vwx400, chf, chg, chh)
new_esEs29(vwx300, vwx400, ty_Integer) → new_esEs18(vwx300, vwx400)
new_esEs4(vwx30, vwx40, app(ty_Maybe, ddg)) → new_esEs19(vwx30, vwx40, ddg)
new_esEs8(vwx30, vwx40, ty_Ordering) → new_esEs12(vwx30, vwx40)
new_esEs40(vwx130, vwx140, ty_Integer) → new_esEs18(vwx130, vwx140)
new_esEs10(vwx31, vwx41, app(app(ty_Either, eee), eef)) → new_esEs22(vwx31, vwx41, eee, eef)
new_compare28(vwx13, vwx14, True, fhc) → EQ
new_esEs25(:(vwx300, vwx301), :(vwx400, vwx401), fbf) → new_asAs(new_esEs37(vwx300, vwx400, fbf), new_esEs25(vwx301, vwx401, fbf))
new_ltEs23(vwx131, vwx141, ty_@0) → new_ltEs13(vwx131, vwx141)
new_esEs22(Left(vwx300), Right(vwx400), dah, che) → False
new_esEs22(Right(vwx300), Left(vwx400), dah, che) → False
new_esEs27(vwx302, vwx402, ty_Float) → new_esEs14(vwx302, vwx402)
new_esEs5(vwx32, vwx42, app(app(ty_Either, ehd), ehe)) → new_esEs22(vwx32, vwx42, ehd, ehe)
new_compare16(EQ, LT) → GT
new_esEs5(vwx32, vwx42, app(ty_Maybe, ehb)) → new_esEs19(vwx32, vwx42, ehb)
new_ltEs23(vwx131, vwx141, ty_Bool) → new_ltEs7(vwx131, vwx141)
new_ltEs20(vwx71, vwx74, ty_@0) → new_ltEs13(vwx71, vwx74)
new_esEs37(vwx300, vwx400, app(ty_Ratio, fdg)) → new_esEs21(vwx300, vwx400, fdg)
new_compare6(Char(vwx30), Char(vwx40)) → new_primCmpNat0(vwx30, vwx40)
new_esEs11(vwx30, vwx40, app(app(ty_Either, chb), chc)) → new_esEs22(vwx30, vwx40, chb, chc)
new_lt9(vwx69, vwx72, app(app(ty_Either, bfg), bfh)) → new_lt12(vwx69, vwx72, bfg, bfh)
new_esEs22(Left(vwx300), Left(vwx400), ty_Char, che) → new_esEs15(vwx300, vwx400)
new_esEs22(Right(vwx300), Right(vwx400), dah, ty_Integer) → new_esEs18(vwx300, vwx400)
new_esEs36(vwx130, vwx140, ty_Int) → new_esEs24(vwx130, vwx140)
new_esEs35(vwx131, vwx141, app(ty_Ratio, fcg)) → new_esEs21(vwx131, vwx141, fcg)
new_ltEs10(Left(vwx130), Left(vwx140), ty_Integer, gd) → new_ltEs14(vwx130, vwx140)
new_esEs31(vwx69, vwx72, ty_Double) → new_esEs20(vwx69, vwx72)
new_lt20(vwx82, vwx84, app(ty_Maybe, cce)) → new_lt4(vwx82, vwx84, cce)
new_esEs30(vwx70, vwx73, app(ty_Maybe, bhf)) → new_esEs19(vwx70, vwx73, bhf)
new_primCmpInt(Pos(Zero), Pos(Zero)) → EQ
new_ltEs10(Left(vwx130), Left(vwx140), ty_@0, gd) → new_ltEs13(vwx130, vwx140)
new_primCompAux0(vwx48, EQ) → vwx48
new_esEs10(vwx31, vwx41, ty_Integer) → new_esEs18(vwx31, vwx41)
new_esEs22(Left(vwx300), Left(vwx400), app(ty_Maybe, dac), che) → new_esEs19(vwx300, vwx400, dac)
new_ltEs10(Right(vwx130), Right(vwx140), he, app(ty_Ratio, edd)) → new_ltEs18(vwx130, vwx140, edd)
new_esEs4(vwx30, vwx40, ty_Int) → new_esEs24(vwx30, vwx40)
new_lt23(vwx130, vwx140, app(ty_[], bda)) → new_lt13(vwx130, vwx140, bda)
new_esEs6(vwx31, vwx41, ty_Char) → new_esEs15(vwx31, vwx41)
new_ltEs22(vwx132, vwx142, ty_Bool) → new_ltEs7(vwx132, vwx142)
new_primEqInt(Pos(Zero), Neg(Zero)) → True
new_primEqInt(Neg(Zero), Pos(Zero)) → True
new_esEs30(vwx70, vwx73, ty_Char) → new_esEs15(vwx70, vwx73)
new_esEs22(Right(vwx300), Right(vwx400), dah, app(app(ty_Either, dbh), dca)) → new_esEs22(vwx300, vwx400, dbh, dca)
new_lt10(vwx70, vwx73, ty_Char) → new_lt11(vwx70, vwx73)
new_primCmpInt(Neg(Succ(vwx300)), Pos(vwx40)) → LT
new_lt23(vwx130, vwx140, ty_@0) → new_lt15(vwx130, vwx140)
new_esEs35(vwx131, vwx141, ty_Char) → new_esEs15(vwx131, vwx141)
new_not(True) → False
new_esEs7(vwx30, vwx40, ty_Double) → new_esEs20(vwx30, vwx40)
new_esEs31(vwx69, vwx72, ty_Int) → new_esEs24(vwx69, vwx72)
new_compare1([], [], bdd) → EQ

The set Q consists of the following terms:

new_ltEs10(Left(x0), Left(x1), ty_Integer, x2)
new_esEs13(@0, @0)
new_compare17(Right(x0), Right(x1), x2, x3)
new_lt21(x0, x1, ty_Int)
new_esEs11(x0, x1, app(ty_Ratio, x2))
new_compare31(x0, x1, app(app(ty_Either, x2), x3))
new_esEs4(x0, x1, ty_Bool)
new_ltEs8(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
new_ltEs10(Right(x0), Right(x1), x2, ty_Bool)
new_ltEs21(x0, x1, app(ty_[], x2))
new_lt22(x0, x1, app(ty_Ratio, x2))
new_esEs19(Just(x0), Just(x1), app(app(app(ty_@3, x2), x3), x4))
new_esEs34(x0, x1, ty_Float)
new_esEs38(x0, x1, app(ty_Ratio, x2))
new_esEs22(Right(x0), Right(x1), x2, ty_Ordering)
new_esEs34(x0, x1, ty_Char)
new_esEs10(x0, x1, ty_Bool)
new_esEs19(Nothing, Just(x0), x1)
new_lt20(x0, x1, app(ty_Ratio, x2))
new_ltEs21(x0, x1, ty_Int)
new_ltEs5(x0, x1, app(ty_Ratio, x2))
new_esEs5(x0, x1, ty_@0)
new_esEs5(x0, x1, app(app(ty_Either, x2), x3))
new_esEs9(x0, x1, app(app(ty_Either, x2), x3))
new_esEs28(x0, x1, ty_Bool)
new_esEs7(x0, x1, ty_Integer)
new_ltEs8(Nothing, Just(x0), x1)
new_esEs8(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs22(x0, x1, app(app(ty_Either, x2), x3))
new_esEs31(x0, x1, ty_Int)
new_lt20(x0, x1, app(app(ty_Either, x2), x3))
new_lt10(x0, x1, app(app(ty_@2, x2), x3))
new_esEs29(x0, x1, app(ty_Maybe, x2))
new_esEs11(x0, x1, app(ty_[], x2))
new_esEs27(x0, x1, app(ty_Maybe, x2))
new_ltEs5(x0, x1, ty_@0)
new_esEs22(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
new_compare27(x0, x1, x2, x3, x4, x5, False, x6, x7, x8)
new_esEs6(x0, x1, app(ty_Ratio, x2))
new_esEs27(x0, x1, ty_Int)
new_lt9(x0, x1, app(ty_[], x2))
new_ltEs22(x0, x1, ty_Char)
new_lt23(x0, x1, ty_Ordering)
new_primMulInt(Neg(x0), Neg(x1))
new_ltEs24(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs12(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs19(Just(x0), Just(x1), ty_Ordering)
new_ltEs20(x0, x1, app(ty_[], x2))
new_ltEs19(x0, x1, ty_Float)
new_esEs11(x0, x1, ty_Char)
new_ltEs20(x0, x1, app(ty_Ratio, x2))
new_esEs37(x0, x1, app(app(ty_@2, x2), x3))
new_compare25(x0, x1, True, x2, x3)
new_compare24(x0, x1, True, x2, x3)
new_esEs31(x0, x1, ty_Char)
new_ltEs20(x0, x1, app(app(ty_@2, x2), x3))
new_compare16(EQ, GT)
new_compare16(GT, EQ)
new_primPlusNat0(Zero, x0)
new_esEs28(x0, x1, app(ty_Ratio, x2))
new_esEs19(Just(x0), Just(x1), ty_Float)
new_esEs38(x0, x1, app(app(ty_@2, x2), x3))
new_esEs40(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primCmpNat0(Succ(x0), Zero)
new_esEs6(x0, x1, app(ty_Maybe, x2))
new_compare31(x0, x1, ty_Bool)
new_ltEs23(x0, x1, app(ty_[], x2))
new_compare1(:(x0, x1), :(x2, x3), x4)
new_esEs39(x0, x1, app(ty_[], x2))
new_ltEs24(x0, x1, app(ty_Maybe, x2))
new_ltEs8(Just(x0), Just(x1), ty_Double)
new_lt4(x0, x1, x2)
new_esEs10(x0, x1, app(ty_Ratio, x2))
new_ltEs10(Left(x0), Left(x1), ty_Bool, x2)
new_ltEs24(x0, x1, ty_Float)
new_lt10(x0, x1, ty_Integer)
new_ltEs22(x0, x1, app(app(ty_@2, x2), x3))
new_esEs9(x0, x1, ty_Ordering)
new_primCompAux0(x0, GT)
new_compare31(x0, x1, ty_Int)
new_ltEs10(Right(x0), Right(x1), x2, ty_Ordering)
new_esEs19(Just(x0), Just(x1), app(ty_Ratio, x2))
new_esEs39(x0, x1, ty_Float)
new_lt14(x0, x1, x2, x3)
new_compare10(x0, x1, False, x2, x3)
new_esEs30(x0, x1, ty_Ordering)
new_primCmpInt(Neg(Succ(x0)), Neg(x1))
new_esEs12(EQ, GT)
new_esEs12(GT, EQ)
new_esEs8(x0, x1, app(ty_[], x2))
new_ltEs19(x0, x1, ty_Integer)
new_ltEs21(x0, x1, ty_Ordering)
new_esEs11(x0, x1, ty_Int)
new_ltEs20(x0, x1, ty_Int)
new_ltEs23(x0, x1, app(app(ty_@2, x2), x3))
new_esEs19(Just(x0), Just(x1), ty_@0)
new_esEs29(x0, x1, app(app(ty_@2, x2), x3))
new_esEs24(x0, x1)
new_esEs34(x0, x1, app(ty_Ratio, x2))
new_lt9(x0, x1, ty_Char)
new_primPlusNat1(Succ(x0), Zero)
new_primCmpNat0(Succ(x0), Succ(x1))
new_esEs40(x0, x1, app(app(ty_Either, x2), x3))
new_lt13(x0, x1, x2)
new_esEs29(x0, x1, ty_Double)
new_primEqInt(Pos(Zero), Neg(Succ(x0)))
new_primEqInt(Neg(Zero), Pos(Succ(x0)))
new_esEs10(x0, x1, ty_Char)
new_esEs14(Float(x0, x1), Float(x2, x3))
new_esEs27(x0, x1, ty_@0)
new_ltEs10(Left(x0), Left(x1), app(ty_[], x2), x3)
new_esEs39(x0, x1, app(app(ty_@2, x2), x3))
new_lt10(x0, x1, ty_Char)
new_ltEs22(x0, x1, app(ty_Maybe, x2))
new_ltEs19(x0, x1, app(ty_Ratio, x2))
new_esEs35(x0, x1, ty_Float)
new_ltEs22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs12(GT, GT)
new_esEs27(x0, x1, app(app(ty_@2, x2), x3))
new_esEs22(Left(x0), Left(x1), ty_Int, x2)
new_esEs27(x0, x1, app(ty_[], x2))
new_ltEs7(True, True)
new_ltEs19(x0, x1, ty_@0)
new_esEs35(x0, x1, ty_Char)
new_compare28(x0, x1, True, x2)
new_lt20(x0, x1, ty_@0)
new_compare15(x0, x1, True, x2, x3)
new_ltEs10(Right(x0), Left(x1), x2, x3)
new_ltEs10(Left(x0), Right(x1), x2, x3)
new_esEs30(x0, x1, app(ty_Ratio, x2))
new_esEs6(x0, x1, ty_@0)
new_esEs40(x0, x1, ty_Float)
new_lt22(x0, x1, app(ty_Maybe, x2))
new_esEs19(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
new_lt23(x0, x1, app(app(ty_Either, x2), x3))
new_pePe(False, x0)
new_esEs29(x0, x1, ty_Float)
new_esEs30(x0, x1, ty_Double)
new_compare6(Char(x0), Char(x1))
new_ltEs23(x0, x1, app(ty_Ratio, x2))
new_ltEs22(x0, x1, ty_Integer)
new_compare31(x0, x1, ty_Float)
new_ltEs22(x0, x1, app(ty_[], x2))
new_compare18(Integer(x0), Integer(x1))
new_esEs34(x0, x1, ty_Ordering)
new_ltEs23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs23(False, False)
new_lt23(x0, x1, ty_Integer)
new_primCmpNat0(Zero, Succ(x0))
new_esEs9(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs29(x0, x1, ty_Int)
new_primPlusNat1(Zero, Succ(x0))
new_esEs10(x0, x1, ty_Ordering)
new_ltEs7(False, True)
new_ltEs7(True, False)
new_esEs35(x0, x1, app(ty_[], x2))
new_esEs22(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
new_esEs7(x0, x1, ty_Int)
new_esEs8(x0, x1, ty_Int)
new_ltEs5(x0, x1, ty_Integer)
new_lt21(x0, x1, app(app(ty_Either, x2), x3))
new_esEs36(x0, x1, ty_Int)
new_esEs4(x0, x1, app(ty_Ratio, x2))
new_compare112(x0, x1, False, x2)
new_ltEs10(Left(x0), Left(x1), ty_Double, x2)
new_esEs19(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
new_ltEs21(x0, x1, ty_Double)
new_lt20(x0, x1, ty_Char)
new_ltEs23(x0, x1, ty_Int)
new_ltEs10(Left(x0), Left(x1), app(app(ty_@2, x2), x3), x4)
new_lt10(x0, x1, app(ty_[], x2))
new_esEs39(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primEqNat0(Zero, Zero)
new_esEs8(x0, x1, ty_@0)
new_esEs26(EQ)
new_compare16(EQ, LT)
new_compare16(LT, EQ)
new_esEs27(x0, x1, ty_Float)
new_primMulNat0(Succ(x0), Succ(x1))
new_ltEs23(x0, x1, ty_Integer)
new_compare14(x0, x1, x2, x3, True, x4, x5)
new_compare31(x0, x1, ty_Double)
new_lt16(x0, x1)
new_esEs27(x0, x1, app(ty_Ratio, x2))
new_compare8(False, True)
new_ltEs22(x0, x1, ty_Float)
new_compare8(True, False)
new_compare8(False, False)
new_esEs36(x0, x1, app(ty_[], x2))
new_ltEs10(Right(x0), Right(x1), x2, ty_Char)
new_esEs27(x0, x1, app(app(ty_Either, x2), x3))
new_compare16(LT, LT)
new_esEs39(x0, x1, ty_@0)
new_esEs11(x0, x1, app(ty_Maybe, x2))
new_ltEs8(Just(x0), Just(x1), ty_Float)
new_esEs4(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs40(x0, x1, ty_Int)
new_lt7(x0, x1)
new_lt22(x0, x1, app(app(ty_Either, x2), x3))
new_esEs32(x0, x1, ty_Int)
new_primMulNat0(Zero, Zero)
new_ltEs8(Just(x0), Just(x1), app(ty_Ratio, x2))
new_esEs19(Just(x0), Just(x1), ty_Bool)
new_esEs31(x0, x1, ty_Float)
new_ltEs8(Just(x0), Just(x1), ty_Bool)
new_compare29(x0, x1, x2, x3, True, x4, x5)
new_lt9(x0, x1, ty_Double)
new_ltEs19(x0, x1, app(app(ty_Either, x2), x3))
new_esEs25(:(x0, x1), :(x2, x3), x4)
new_esEs22(Right(x0), Right(x1), x2, ty_Char)
new_esEs34(x0, x1, ty_Int)
new_esEs22(Left(x0), Right(x1), x2, x3)
new_esEs22(Right(x0), Left(x1), x2, x3)
new_ltEs20(x0, x1, ty_Ordering)
new_ltEs10(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
new_esEs26(GT)
new_lt22(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs21(x0, x1, ty_Float)
new_compare31(x0, x1, app(ty_Ratio, x2))
new_esEs35(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_lt20(x0, x1, app(app(ty_@2, x2), x3))
new_esEs29(x0, x1, app(ty_[], x2))
new_lt10(x0, x1, ty_Ordering)
new_ltEs10(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
new_esEs10(x0, x1, ty_Double)
new_ltEs21(x0, x1, ty_@0)
new_esEs31(x0, x1, app(ty_Maybe, x2))
new_primEqInt(Neg(Succ(x0)), Neg(Succ(x1)))
new_esEs11(x0, x1, ty_@0)
new_esEs4(x0, x1, app(ty_Maybe, x2))
new_esEs31(x0, x1, app(ty_[], x2))
new_esEs15(Char(x0), Char(x1))
new_esEs8(x0, x1, app(ty_Maybe, x2))
new_lt21(x0, x1, ty_Bool)
new_esEs22(Right(x0), Right(x1), x2, ty_@0)
new_esEs9(x0, x1, ty_Char)
new_compare31(x0, x1, app(app(ty_@2, x2), x3))
new_esEs29(x0, x1, ty_Ordering)
new_esEs31(x0, x1, ty_Ordering)
new_esEs8(x0, x1, ty_Bool)
new_esEs36(x0, x1, ty_Char)
new_esEs36(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs22(Left(x0), Left(x1), ty_Char, x2)
new_esEs29(x0, x1, ty_Integer)
new_ltEs15(GT, EQ)
new_esEs34(x0, x1, ty_Double)
new_ltEs15(EQ, GT)
new_esEs35(x0, x1, ty_Int)
new_esEs31(x0, x1, app(ty_Ratio, x2))
new_ltEs18(x0, x1, x2)
new_esEs22(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
new_esEs8(x0, x1, app(ty_Ratio, x2))
new_primCmpInt(Neg(Zero), Neg(Succ(x0)))
new_ltEs24(x0, x1, ty_Ordering)
new_esEs19(Just(x0), Just(x1), ty_Char)
new_ltEs5(x0, x1, ty_Int)
new_esEs7(x0, x1, app(ty_Maybe, x2))
new_lt8(x0, x1, x2, x3, x4)
new_esEs22(Left(x0), Left(x1), ty_Integer, x2)
new_ltEs22(x0, x1, ty_Double)
new_lt9(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs36(x0, x1, app(app(ty_@2, x2), x3))
new_esEs31(x0, x1, ty_Integer)
new_ltEs10(Left(x0), Left(x1), ty_Float, x2)
new_lt23(x0, x1, app(ty_Ratio, x2))
new_compare7(Nothing, Just(x0), x1)
new_esEs38(x0, x1, ty_Ordering)
new_esEs8(x0, x1, ty_Float)
new_lt21(x0, x1, app(ty_Ratio, x2))
new_primCompAux1(x0, x1, x2, x3)
new_compare111(x0, x1, x2, x3, x4, x5, True, x6, x7, x8)
new_primPlusNat0(Succ(x0), x1)
new_esEs40(x0, x1, app(ty_Ratio, x2))
new_ltEs24(x0, x1, ty_Double)
new_ltEs10(Right(x0), Right(x1), x2, ty_Integer)
new_esEs35(x0, x1, app(ty_Maybe, x2))
new_ltEs10(Left(x0), Left(x1), ty_Ordering, x2)
new_ltEs19(x0, x1, ty_Bool)
new_compare19(:%(x0, x1), :%(x2, x3), ty_Int)
new_esEs8(x0, x1, ty_Integer)
new_lt22(x0, x1, ty_Double)
new_primEqInt(Neg(Succ(x0)), Neg(Zero))
new_esEs6(x0, x1, ty_Int)
new_ltEs5(x0, x1, app(ty_Maybe, x2))
new_compare24(x0, x1, False, x2, x3)
new_lt22(x0, x1, ty_Integer)
new_primCompAux0(x0, EQ)
new_esEs38(x0, x1, ty_Int)
new_esEs32(x0, x1, ty_Integer)
new_ltEs11(x0, x1, x2)
new_esEs7(x0, x1, ty_Double)
new_primCompAux0(x0, LT)
new_primEqInt(Pos(Succ(x0)), Pos(Succ(x1)))
new_ltEs24(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs24(x0, x1, ty_Bool)
new_esEs27(x0, x1, ty_Integer)
new_esEs35(x0, x1, app(ty_Ratio, x2))
new_ltEs19(x0, x1, app(app(ty_@2, x2), x3))
new_compare17(Right(x0), Left(x1), x2, x3)
new_compare17(Left(x0), Right(x1), x2, x3)
new_ltEs22(x0, x1, ty_Bool)
new_lt10(x0, x1, ty_Float)
new_ltEs10(Left(x0), Left(x1), app(ty_Maybe, x2), x3)
new_compare111(x0, x1, x2, x3, x4, x5, False, x6, x7, x8)
new_esEs5(x0, x1, ty_Ordering)
new_ltEs23(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs15(GT, LT)
new_ltEs15(LT, GT)
new_esEs30(x0, x1, app(ty_[], x2))
new_primCmpInt(Pos(Zero), Neg(Succ(x0)))
new_primCmpInt(Neg(Zero), Pos(Succ(x0)))
new_compare7(Nothing, Nothing, x0)
new_ltEs15(GT, GT)
new_ltEs19(x0, x1, ty_Ordering)
new_lt23(x0, x1, ty_Bool)
new_esEs12(EQ, LT)
new_esEs12(LT, EQ)
new_compare110(x0, x1, x2, x3, x4, x5, True, x6, x7, x8, x9)
new_primEqNat0(Succ(x0), Zero)
new_primPlusNat1(Zero, Zero)
new_esEs37(x0, x1, ty_Bool)
new_ltEs19(x0, x1, ty_Int)
new_esEs37(x0, x1, app(ty_[], x2))
new_esEs28(x0, x1, ty_Integer)
new_esEs12(EQ, EQ)
new_esEs11(x0, x1, app(app(ty_@2, x2), x3))
new_esEs9(x0, x1, ty_Int)
new_lt19(x0, x1, x2)
new_compare7(Just(x0), Nothing, x1)
new_esEs36(x0, x1, ty_Bool)
new_ltEs22(x0, x1, ty_Ordering)
new_lt9(x0, x1, ty_Float)
new_ltEs20(x0, x1, app(app(ty_Either, x2), x3))
new_esEs6(x0, x1, ty_Double)
new_compare7(Just(x0), Just(x1), x2)
new_esEs16(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_esEs7(x0, x1, app(ty_Ratio, x2))
new_esEs30(x0, x1, app(app(ty_Either, x2), x3))
new_compare32(@0, @0)
new_ltEs23(x0, x1, app(ty_Maybe, x2))
new_esEs28(x0, x1, ty_Ordering)
new_esEs37(x0, x1, ty_Float)
new_lt21(x0, x1, ty_Char)
new_primCmpInt(Neg(Zero), Neg(Zero))
new_esEs36(x0, x1, ty_@0)
new_ltEs20(x0, x1, ty_Bool)
new_compare28(x0, x1, False, x2)
new_lt21(x0, x1, ty_Ordering)
new_esEs39(x0, x1, ty_Bool)
new_esEs30(x0, x1, app(ty_Maybe, x2))
new_esEs28(x0, x1, app(app(ty_Either, x2), x3))
new_esEs28(x0, x1, ty_@0)
new_lt10(x0, x1, ty_Double)
new_ltEs15(LT, LT)
new_esEs7(x0, x1, ty_@0)
new_asAs(False, x0)
new_compare13(x0, x1, x2, x3, False, x4, x5, x6)
new_lt21(x0, x1, app(ty_Maybe, x2))
new_esEs10(x0, x1, app(app(ty_@2, x2), x3))
new_esEs38(x0, x1, ty_Integer)
new_lt21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_lt22(x0, x1, app(ty_[], x2))
new_primMulNat0(Zero, Succ(x0))
new_lt10(x0, x1, app(ty_Maybe, x2))
new_esEs12(GT, LT)
new_esEs12(LT, GT)
new_esEs34(x0, x1, ty_Bool)
new_esEs27(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs5(x0, x1, app(ty_Maybe, x2))
new_asAs(True, x0)
new_esEs10(x0, x1, app(app(ty_Either, x2), x3))
new_esEs17(@2(x0, x1), @2(x2, x3), x4, x5)
new_esEs22(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
new_esEs18(Integer(x0), Integer(x1))
new_esEs39(x0, x1, ty_Integer)
new_esEs22(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
new_lt23(x0, x1, app(app(ty_@2, x2), x3))
new_primEqInt(Pos(Succ(x0)), Pos(Zero))
new_ltEs21(x0, x1, ty_Bool)
new_esEs10(x0, x1, app(ty_[], x2))
new_esEs6(x0, x1, app(ty_[], x2))
new_esEs11(x0, x1, app(app(ty_Either, x2), x3))
new_esEs36(x0, x1, app(ty_Maybe, x2))
new_esEs4(x0, x1, ty_Int)
new_esEs22(Left(x0), Left(x1), ty_@0, x2)
new_lt20(x0, x1, ty_Int)
new_lt20(x0, x1, ty_Ordering)
new_esEs21(:%(x0, x1), :%(x2, x3), x4)
new_esEs9(x0, x1, ty_Float)
new_lt10(x0, x1, ty_Int)
new_lt18(x0, x1)
new_esEs37(x0, x1, ty_Integer)
new_esEs5(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs10(x0, x1, ty_Int)
new_esEs4(x0, x1, ty_Integer)
new_esEs22(Right(x0), Right(x1), x2, ty_Float)
new_esEs30(x0, x1, ty_Int)
new_ltEs10(Right(x0), Right(x1), x2, app(ty_[], x3))
new_ltEs10(Right(x0), Right(x1), x2, app(app(ty_Either, x3), x4))
new_esEs23(True, True)
new_esEs40(x0, x1, ty_Bool)
new_lt6(x0, x1)
new_lt21(x0, x1, ty_Double)
new_esEs29(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs22(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
new_esEs5(x0, x1, app(ty_Ratio, x2))
new_esEs37(x0, x1, ty_Int)
new_primEqInt(Pos(Zero), Neg(Zero))
new_primEqInt(Neg(Zero), Pos(Zero))
new_esEs27(x0, x1, ty_Char)
new_esEs39(x0, x1, ty_Ordering)
new_esEs6(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs8(Just(x0), Just(x1), app(app(ty_@2, x2), x3))
new_ltEs5(x0, x1, ty_Double)
new_esEs31(x0, x1, ty_Bool)
new_ltEs19(x0, x1, ty_Double)
new_esEs11(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs35(x0, x1, ty_@0)
new_ltEs20(x0, x1, ty_@0)
new_compare25(x0, x1, False, x2, x3)
new_lt11(x0, x1)
new_lt23(x0, x1, ty_@0)
new_ltEs20(x0, x1, app(ty_Maybe, x2))
new_ltEs19(x0, x1, ty_Char)
new_ltEs19(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs38(x0, x1, ty_Double)
new_esEs6(x0, x1, ty_Bool)
new_esEs28(x0, x1, ty_Int)
new_compare110(x0, x1, x2, x3, x4, x5, False, x6, x7, x8, x9)
new_lt9(x0, x1, ty_Bool)
new_lt17(x0, x1)
new_esEs37(x0, x1, ty_Char)
new_esEs27(x0, x1, ty_Ordering)
new_primCmpInt(Pos(Zero), Pos(Zero))
new_ltEs10(Right(x0), Right(x1), x2, ty_@0)
new_esEs22(Right(x0), Right(x1), x2, ty_Int)
new_compare112(x0, x1, True, x2)
new_esEs37(x0, x1, app(ty_Maybe, x2))
new_compare13(x0, x1, x2, x3, True, x4, x5, x6)
new_esEs39(x0, x1, app(ty_Ratio, x2))
new_primPlusNat1(Succ(x0), Succ(x1))
new_esEs19(Nothing, Nothing, x0)
new_esEs7(x0, x1, ty_Ordering)
new_esEs4(x0, x1, app(app(ty_@2, x2), x3))
new_primEqInt(Neg(Zero), Neg(Zero))
new_compare27(x0, x1, x2, x3, x4, x5, True, x6, x7, x8)
new_ltEs24(x0, x1, app(ty_Ratio, x2))
new_lt20(x0, x1, app(ty_Maybe, x2))
new_ltEs8(Just(x0), Just(x1), app(ty_Maybe, x2))
new_esEs34(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs27(x0, x1, ty_Bool)
new_esEs7(x0, x1, app(app(ty_@2, x2), x3))
new_esEs34(x0, x1, app(ty_Maybe, x2))
new_lt21(x0, x1, ty_Float)
new_lt20(x0, x1, ty_Float)
new_ltEs10(Right(x0), Right(x1), x2, ty_Int)
new_esEs11(x0, x1, ty_Ordering)
new_esEs22(Right(x0), Right(x1), x2, ty_Double)
new_esEs19(Just(x0), Just(x1), app(ty_Maybe, x2))
new_esEs35(x0, x1, ty_Ordering)
new_esEs7(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs38(x0, x1, ty_Char)
new_ltEs10(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
new_compare31(x0, x1, ty_Ordering)
new_ltEs24(x0, x1, ty_Char)
new_esEs25([], [], x0)
new_ltEs21(x0, x1, app(app(ty_@2, x2), x3))
new_compare8(True, True)
new_lt9(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs23(x0, x1, ty_@0)
new_ltEs8(Just(x0), Just(x1), ty_@0)
new_ltEs19(x0, x1, app(ty_[], x2))
new_lt22(x0, x1, ty_Float)
new_lt20(x0, x1, app(ty_[], x2))
new_sr0(Integer(x0), Integer(x1))
new_ltEs5(x0, x1, app(ty_[], x2))
new_esEs37(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs11(x0, x1, ty_Bool)
new_esEs40(x0, x1, ty_@0)
new_esEs37(x0, x1, ty_@0)
new_esEs5(x0, x1, ty_Float)
new_lt9(x0, x1, app(ty_Maybe, x2))
new_primCmpInt(Pos(Zero), Pos(Succ(x0)))
new_ltEs8(Just(x0), Just(x1), ty_Ordering)
new_esEs6(x0, x1, ty_Char)
new_lt10(x0, x1, ty_Bool)
new_ltEs19(x0, x1, app(ty_Maybe, x2))
new_esEs40(x0, x1, ty_Integer)
new_compare16(GT, GT)
new_esEs28(x0, x1, app(app(ty_@2, x2), x3))
new_compare31(x0, x1, app(ty_Maybe, x2))
new_esEs10(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs21(x0, x1, app(ty_Ratio, x2))
new_esEs33(x0, x1, ty_Int)
new_ltEs10(Left(x0), Left(x1), app(app(app(ty_@3, x2), x3), x4), x5)
new_compare10(x0, x1, True, x2, x3)
new_esEs9(x0, x1, app(ty_[], x2))
new_esEs7(x0, x1, ty_Char)
new_esEs31(x0, x1, app(app(ty_@2, x2), x3))
new_esEs5(x0, x1, ty_Int)
new_ltEs22(x0, x1, ty_Int)
new_esEs4(x0, x1, ty_Ordering)
new_ltEs24(x0, x1, ty_@0)
new_lt23(x0, x1, app(ty_[], x2))
new_lt10(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_fsEs(x0)
new_ltEs21(x0, x1, app(ty_Maybe, x2))
new_compare17(Left(x0), Left(x1), x2, x3)
new_primCmpInt(Pos(Succ(x0)), Pos(x1))
new_ltEs23(x0, x1, ty_Ordering)
new_esEs39(x0, x1, app(ty_Maybe, x2))
new_esEs4(x0, x1, ty_Double)
new_pePe(True, x0)
new_esEs9(x0, x1, app(app(ty_@2, x2), x3))
new_esEs28(x0, x1, ty_Double)
new_esEs4(x0, x1, app(ty_[], x2))
new_esEs38(x0, x1, ty_Bool)
new_compare29(x0, x1, x2, x3, False, x4, x5)
new_esEs26(LT)
new_esEs37(x0, x1, ty_Double)
new_esEs35(x0, x1, app(app(ty_@2, x2), x3))
new_esEs4(x0, x1, ty_Char)
new_lt22(x0, x1, ty_@0)
new_compare1([], [], x0)
new_primCmpNat0(Zero, Zero)
new_lt10(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs24(x0, x1, app(ty_[], x2))
new_esEs19(Just(x0), Nothing, x1)
new_lt23(x0, x1, ty_Double)
new_esEs28(x0, x1, app(ty_Maybe, x2))
new_esEs23(True, False)
new_esEs23(False, True)
new_ltEs10(Left(x0), Left(x1), app(ty_Ratio, x2), x3)
new_esEs29(x0, x1, app(app(ty_Either, x2), x3))
new_lt9(x0, x1, ty_Int)
new_esEs35(x0, x1, ty_Integer)
new_ltEs22(x0, x1, app(ty_Ratio, x2))
new_lt20(x0, x1, ty_Bool)
new_esEs5(x0, x1, ty_Double)
new_ltEs5(x0, x1, app(app(ty_@2, x2), x3))
new_esEs8(x0, x1, app(app(ty_@2, x2), x3))
new_esEs5(x0, x1, app(ty_[], x2))
new_lt22(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs19(Just(x0), Just(x1), app(ty_[], x2))
new_esEs35(x0, x1, ty_Double)
new_esEs40(x0, x1, ty_Double)
new_esEs37(x0, x1, app(app(ty_Either, x2), x3))
new_lt22(x0, x1, ty_Bool)
new_lt20(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs24(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare11(Float(x0, x1), Float(x2, x3))
new_esEs36(x0, x1, app(ty_Ratio, x2))
new_esEs37(x0, x1, ty_Ordering)
new_primMulInt(Pos(x0), Neg(x1))
new_primMulInt(Neg(x0), Pos(x1))
new_esEs7(x0, x1, ty_Bool)
new_esEs40(x0, x1, ty_Ordering)
new_lt23(x0, x1, ty_Float)
new_esEs9(x0, x1, app(ty_Maybe, x2))
new_compare31(x0, x1, app(ty_[], x2))
new_esEs39(x0, x1, ty_Int)
new_sr(x0, x1)
new_ltEs23(x0, x1, ty_Bool)
new_esEs38(x0, x1, app(ty_[], x2))
new_esEs33(x0, x1, ty_Integer)
new_esEs19(Just(x0), Just(x1), ty_Integer)
new_esEs5(x0, x1, app(app(ty_@2, x2), x3))
new_esEs19(Just(x0), Just(x1), ty_Double)
new_primEqNat0(Zero, Succ(x0))
new_esEs27(x0, x1, ty_Double)
new_esEs19(Just(x0), Just(x1), ty_Int)
new_esEs40(x0, x1, ty_Char)
new_ltEs10(Right(x0), Right(x1), x2, app(app(ty_@2, x3), x4))
new_lt9(x0, x1, ty_@0)
new_esEs38(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs7(x0, x1, app(ty_[], x2))
new_ltEs20(x0, x1, ty_Double)
new_ltEs8(Just(x0), Just(x1), app(app(ty_Either, x2), x3))
new_lt15(x0, x1)
new_esEs30(x0, x1, ty_Char)
new_ltEs8(Just(x0), Just(x1), ty_Integer)
new_esEs28(x0, x1, ty_Float)
new_compare1(:(x0, x1), [], x2)
new_ltEs5(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs36(x0, x1, ty_Double)
new_esEs5(x0, x1, ty_Char)
new_primMulNat0(Succ(x0), Zero)
new_compare12(x0, x1)
new_esEs28(x0, x1, ty_Char)
new_esEs36(x0, x1, ty_Ordering)
new_esEs39(x0, x1, ty_Char)
new_ltEs4(x0, x1)
new_esEs30(x0, x1, ty_@0)
new_ltEs14(x0, x1)
new_ltEs5(x0, x1, ty_Ordering)
new_ltEs8(Just(x0), Just(x1), app(ty_[], x2))
new_ltEs8(Just(x0), Just(x1), ty_Int)
new_esEs34(x0, x1, app(app(ty_@2, x2), x3))
new_lt5(x0, x1)
new_not(True)
new_compare15(x0, x1, False, x2, x3)
new_esEs34(x0, x1, ty_@0)
new_ltEs10(Right(x0), Right(x1), x2, ty_Float)
new_ltEs20(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs11(x0, x1, ty_Double)
new_esEs6(x0, x1, app(app(ty_@2, x2), x3))
new_lt21(x0, x1, app(app(ty_@2, x2), x3))
new_esEs36(x0, x1, ty_Integer)
new_ltEs21(x0, x1, ty_Integer)
new_esEs22(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
new_esEs11(x0, x1, ty_Float)
new_esEs30(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_primCmpInt(Pos(Zero), Neg(Zero))
new_primCmpInt(Neg(Zero), Pos(Zero))
new_lt20(x0, x1, ty_Double)
new_not(False)
new_esEs9(x0, x1, ty_@0)
new_compare31(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare1([], :(x0, x1), x2)
new_esEs39(x0, x1, ty_Double)
new_esEs9(x0, x1, ty_Integer)
new_esEs22(Right(x0), Right(x1), x2, ty_Bool)
new_esEs31(x0, x1, ty_@0)
new_ltEs5(x0, x1, app(app(ty_Either, x2), x3))
new_esEs30(x0, x1, ty_Float)
new_primMulInt(Pos(x0), Pos(x1))
new_ltEs10(Right(x0), Right(x1), x2, app(ty_Ratio, x3))
new_ltEs5(x0, x1, ty_Float)
new_esEs8(x0, x1, app(app(ty_Either, x2), x3))
new_esEs6(x0, x1, ty_Ordering)
new_esEs22(Left(x0), Left(x1), app(ty_[], x2), x3)
new_esEs4(x0, x1, ty_@0)
new_primEqInt(Pos(Zero), Pos(Succ(x0)))
new_esEs9(x0, x1, ty_Bool)
new_lt12(x0, x1, x2, x3)
new_esEs5(x0, x1, ty_Bool)
new_esEs10(x0, x1, app(ty_Maybe, x2))
new_ltEs21(x0, x1, app(app(ty_Either, x2), x3))
new_ltEs16(x0, x1)
new_esEs34(x0, x1, ty_Integer)
new_primEqNat0(Succ(x0), Succ(x1))
new_esEs30(x0, x1, ty_Integer)
new_esEs36(x0, x1, app(app(ty_Either, x2), x3))
new_primCmpInt(Neg(Succ(x0)), Pos(x1))
new_primCmpInt(Pos(Succ(x0)), Neg(x1))
new_esEs4(x0, x1, ty_Float)
new_esEs8(x0, x1, ty_Double)
new_esEs10(x0, x1, ty_Integer)
new_esEs22(Right(x0), Right(x1), x2, ty_Integer)
new_ltEs15(LT, EQ)
new_ltEs15(EQ, LT)
new_ltEs22(x0, x1, ty_@0)
new_esEs30(x0, x1, ty_Bool)
new_ltEs6(x0, x1)
new_compare31(x0, x1, ty_@0)
new_esEs31(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_esEs29(x0, x1, app(ty_Ratio, x2))
new_esEs31(x0, x1, app(app(ty_Either, x2), x3))
new_esEs40(x0, x1, app(ty_[], x2))
new_lt22(x0, x1, ty_Ordering)
new_esEs5(x0, x1, ty_Integer)
new_esEs38(x0, x1, ty_Float)
new_esEs25([], :(x0, x1), x2)
new_ltEs21(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_compare31(x0, x1, ty_Integer)
new_esEs6(x0, x1, app(app(ty_Either, x2), x3))
new_lt21(x0, x1, ty_Integer)
new_ltEs10(Left(x0), Left(x1), ty_Char, x2)
new_ltEs20(x0, x1, ty_Integer)
new_compare30(@2(x0, x1), @2(x2, x3), x4, x5)
new_lt22(x0, x1, ty_Int)
new_ltEs10(Right(x0), Right(x1), x2, ty_Double)
new_ltEs15(EQ, EQ)
new_lt23(x0, x1, ty_Int)
new_esEs22(Left(x0), Left(x1), ty_Double, x2)
new_esEs35(x0, x1, app(app(ty_Either, x2), x3))
new_esEs35(x0, x1, ty_Bool)
new_lt9(x0, x1, app(ty_Ratio, x2))
new_primEqInt(Neg(Zero), Neg(Succ(x0)))
new_lt10(x0, x1, app(ty_Ratio, x2))
new_esEs22(Left(x0), Left(x1), app(app(ty_Either, x2), x3), x4)
new_ltEs5(x0, x1, ty_Char)
new_esEs10(x0, x1, ty_Float)
new_esEs25(:(x0, x1), [], x2)
new_lt21(x0, x1, app(ty_[], x2))
new_lt10(x0, x1, ty_@0)
new_lt22(x0, x1, ty_Char)
new_ltEs20(x0, x1, ty_Float)
new_esEs6(x0, x1, ty_Integer)
new_esEs28(x0, x1, app(ty_[], x2))
new_esEs40(x0, x1, app(ty_Maybe, x2))
new_esEs28(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs8(Nothing, Nothing, x0)
new_compare26(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_esEs9(x0, x1, ty_Double)
new_esEs31(x0, x1, ty_Double)
new_compare31(x0, x1, ty_Char)
new_compare14(x0, x1, x2, x3, False, x4, x5)
new_esEs29(x0, x1, ty_Bool)
new_esEs39(x0, x1, app(app(ty_Either, x2), x3))
new_esEs11(x0, x1, ty_Integer)
new_compare19(:%(x0, x1), :%(x2, x3), ty_Integer)
new_esEs6(x0, x1, ty_Float)
new_esEs4(x0, x1, app(app(ty_Either, x2), x3))
new_compare16(EQ, EQ)
new_ltEs10(Left(x0), Left(x1), ty_@0, x2)
new_ltEs21(x0, x1, ty_Char)
new_esEs34(x0, x1, app(app(ty_Either, x2), x3))
new_lt23(x0, x1, ty_Char)
new_esEs34(x0, x1, app(ty_[], x2))
new_lt9(x0, x1, app(app(ty_@2, x2), x3))
new_primEqInt(Pos(Zero), Pos(Zero))
new_esEs9(x0, x1, app(ty_Ratio, x2))
new_ltEs23(x0, x1, ty_Float)
new_ltEs23(x0, x1, ty_Char)
new_esEs8(x0, x1, ty_Char)
new_ltEs8(Just(x0), Nothing, x1)
new_esEs37(x0, x1, app(ty_Ratio, x2))
new_compare9(Double(x0, x1), Double(x2, x3))
new_esEs22(Left(x0), Left(x1), ty_Float, x2)
new_ltEs17(x0, x1)
new_esEs22(Right(x0), Right(x1), x2, app(ty_[], x3))
new_esEs7(x0, x1, app(app(ty_Either, x2), x3))
new_esEs40(x0, x1, app(app(ty_@2, x2), x3))
new_primEqInt(Neg(Succ(x0)), Pos(x1))
new_primEqInt(Pos(Succ(x0)), Neg(x1))
new_lt20(x0, x1, ty_Integer)
new_esEs22(Left(x0), Left(x1), ty_Ordering, x2)
new_esEs38(x0, x1, app(app(ty_Either, x2), x3))
new_compare16(GT, LT)
new_compare16(LT, GT)
new_ltEs20(x0, x1, ty_Char)
new_ltEs23(x0, x1, ty_Double)
new_ltEs24(x0, x1, ty_Int)
new_ltEs5(x0, x1, ty_Bool)
new_ltEs9(@3(x0, x1, x2), @3(x3, x4, x5), x6, x7, x8)
new_esEs29(x0, x1, ty_Char)
new_esEs38(x0, x1, app(ty_Maybe, x2))
new_esEs22(Left(x0), Left(x1), ty_Bool, x2)
new_lt9(x0, x1, ty_Integer)
new_esEs7(x0, x1, ty_Float)
new_esEs12(LT, LT)
new_esEs10(x0, x1, ty_@0)
new_esEs22(Right(x0), Right(x1), x2, app(app(app(ty_@3, x3), x4), x5))
new_lt23(x0, x1, app(ty_Maybe, x2))
new_esEs38(x0, x1, ty_@0)
new_ltEs13(x0, x1)
new_esEs30(x0, x1, app(app(ty_@2, x2), x3))
new_ltEs24(x0, x1, ty_Integer)
new_lt9(x0, x1, ty_Ordering)
new_ltEs8(Just(x0), Just(x1), ty_Char)
new_esEs20(Double(x0, x1), Double(x2, x3))
new_esEs36(x0, x1, ty_Float)
new_esEs8(x0, x1, ty_Ordering)
new_lt23(x0, x1, app(app(app(ty_@3, x2), x3), x4))
new_ltEs7(False, False)
new_esEs22(Right(x0), Right(x1), x2, app(ty_Maybe, x3))
new_esEs29(x0, x1, ty_@0)
new_ltEs10(Left(x0), Left(x1), ty_Int, x2)
new_lt21(x0, x1, ty_@0)

We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs: